Commit 737e2b96 authored by Glenn Morris's avatar Glenn Morris

(check-info-dir): New target.

parent 1888e568
2008-02-08 Glenn Morris <rgm@gnu.org>
* Makefile.in (check-info-dir): New target.
2008-02-08 Michael Olson <mwolson@gnu.org>
* Makefile.in (INFO_FILES): Add epa.
......
......@@ -779,6 +779,24 @@ info: force-info
-(cd doc/misc; $(MAKE) $(MFLAGS) info)
-(cd doc/lispref; $(MAKE) $(MFLAGS) info)
-(cd doc/lispintro; $(MAKE) $(MFLAGS) info)
# The info/dir file must be updated by hand when new manuals are added.
check-info-dir: info
cd info ; \
missing= ; \
for file in *; do \
test -f "$${file}" || continue ; \
case $${file} in \
*-[0-9]*|COPYING|dir) continue ;; \
esac ; \
grep -q -F ": ($${file})." dir || missing="$${missing} $${file}" ; \
done ; \
if test -n "$${missing}"; then \
echo "Missing info/dir entries: $${missing}" ; \
exit 1 ; \
fi ; \
echo "info/dir is OK"
dvi:
(cd doc/emacs; $(MAKE) $(MFLAGS) dvi)
(cd doc/misc; $(MAKE) $(MFLAGS) dvi)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment