diff options
author | Bruno Haible <bruno@clisp.org> | 2008-08-26 08:33:53 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2008-08-26 08:33:53 +0200 |
commit | 14c8b8fbdbc1e3a1c16110ff0092d85916bf5173 (patch) | |
tree | 38c0e576253eb9072447a2a2dae90de6641fc320 /doc/Makefile | |
parent | f2bc915c89fb52f12ea4dc42f0945d884f314bc4 (diff) | |
download | gnulib-14c8b8fbdbc1e3a1c16110ff0092d85916bf5173.tar.gz |
Avoid error message during generation of INSTALL.
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 8f8f8ea583..750ff4dd78 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -25,7 +25,7 @@ pdf: $(doc).pdf INSTALL: install.texi { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi - $(MAKEINFO) --plaintext --no-warn tmp.texi > $@ + $(MAKEINFO) --plaintext --no-validate tmp.texi > $@ rm -f tmp.texi GNULIB_TEXI_FILES = $(filter-out maintain.texi make-stds.texi standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard glibc-functions/*.texi) |