diff options
Diffstat (limited to 'Master/Tools/MakeImages.sh')
-rwxr-xr-x | Master/Tools/MakeImages.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/Tools/MakeImages.sh b/Master/Tools/MakeImages.sh index 27da9c5ffb4..bcc9f5b8854 100755 --- a/Master/Tools/MakeImages.sh +++ b/Master/Tools/MakeImages.sh @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: //depot/Master/Tools/MakeImages.sh#124 $ $Date: 2005/10/27 $ $Author: karl $ +# $Id$ # # Create the .iso file system images for TeX Live: # a) live: the complete uncompressed system (for DVD) |