diff options
Diffstat (limited to 'admin/make-manuals')
| -rwxr-xr-x | admin/make-manuals | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/make-manuals b/admin/make-manuals index 7b9f6a28718..4e65d3d8753 100755 --- a/admin/make-manuals +++ b/admin/make-manuals | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | ### make-manuals - create the Emacs manuals to upload to the gnu.org website | 2 | ### make-manuals - create the Emacs manuals to upload to the gnu.org website |
| 3 | 3 | ||
| 4 | ## Copyright 2018 Free Software Foundation, Inc. | 4 | ## Copyright 2018-2019 Free Software Foundation, Inc. |
| 5 | 5 | ||
| 6 | ## Author: Glenn Morris <rgm@gnu.org> | 6 | ## Author: Glenn Morris <rgm@gnu.org> |
| 7 | 7 | ||