diff options
Diffstat (limited to 'modules/gendocs')
| -rw-r--r-- | modules/gendocs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/gendocs b/modules/gendocs index 279f2b7ed1..7c37935814 100644 --- a/modules/gendocs +++ b/modules/gendocs @@ -1,6 +1,6 @@ Description: Generate manuals in several formats from Texinfo sources. -Can be used for http://www.gnu.org/software/PKG/manual/ directories. +Can be used for https://www.gnu.org/software/PKG/manual/ directories. Files: build-aux/gendocs.sh |