aboutsummaryrefslogtreecommitdiff
path: root/manual/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'manual/Makefile')
-rw-r--r--manual/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile
index 5db6a31f23..0652d4dea0 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -82,7 +82,7 @@ stamp-summary: summary.awk $(filter-out summary.texi, $(texis))
# access to the documentation of the function, variables, and other
# definitions.
dir-add.info: xtract-typefun.awk $(texis)
- (echo "INFO-DIR-SECTION GNU C library functions:"; \
+ (echo "INFO-DIR-SECTION GNU C library functions"; \
echo "START-INFO-DIR-ENTRY"; \
$(AWK) -f $^ | sort; \
echo "END-INFO-DIR-ENTRY") > $@.new