comparison Makefile.in @ 91679:d21e5f7e5b98

(check-info-dir): New target.
author Glenn Morris <rgm@gnu.org>
date Fri, 08 Feb 2008 20:29:47 +0000
parents 89a885e91568
children dd76d29353ca
comparison
equal deleted inserted replaced
91678:10893c587e90 91679:d21e5f7e5b98
777 info: force-info 777 info: force-info
778 -(cd doc/emacs; $(MAKE) $(MFLAGS) info) 778 -(cd doc/emacs; $(MAKE) $(MFLAGS) info)
779 -(cd doc/misc; $(MAKE) $(MFLAGS) info) 779 -(cd doc/misc; $(MAKE) $(MFLAGS) info)
780 -(cd doc/lispref; $(MAKE) $(MFLAGS) info) 780 -(cd doc/lispref; $(MAKE) $(MFLAGS) info)
781 -(cd doc/lispintro; $(MAKE) $(MFLAGS) info) 781 -(cd doc/lispintro; $(MAKE) $(MFLAGS) info)
782
783 # The info/dir file must be updated by hand when new manuals are added.
784 check-info-dir: info
785 cd info ; \
786 missing= ; \
787 for file in *; do \
788 test -f "$${file}" || continue ; \
789 case $${file} in \
790 *-[0-9]*|COPYING|dir) continue ;; \
791 esac ; \
792 grep -q -F ": ($${file})." dir || missing="$${missing} $${file}" ; \
793 done ; \
794 if test -n "$${missing}"; then \
795 echo "Missing info/dir entries: $${missing}" ; \
796 exit 1 ; \
797 fi ; \
798 echo "info/dir is OK"
799
782 dvi: 800 dvi:
783 (cd doc/emacs; $(MAKE) $(MFLAGS) dvi) 801 (cd doc/emacs; $(MAKE) $(MFLAGS) dvi)
784 (cd doc/misc; $(MAKE) $(MFLAGS) dvi) 802 (cd doc/misc; $(MAKE) $(MFLAGS) dvi)
785 (cd doc/lispref; $(MAKE) $(MFLAGS) elisp.dvi) 803 (cd doc/lispref; $(MAKE) $(MFLAGS) elisp.dvi)
786 (cd doc/lispintro; $(MAKE) $(MFLAGS) emacs-lisp-intro.dvi) 804 (cd doc/lispintro; $(MAKE) $(MFLAGS) emacs-lisp-intro.dvi)