diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-02-08 20:29:47 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-02-08 20:29:47 +0000 |
| commit | 7eff634e13e122dec87b75c23e8aaf9176f6a8df (patch) | |
| tree | 37f4090ba4dd65c738615a3c2361731cfba8030a /Makefile.in | |
| parent | 3e4ded139b3d9800cbf1e032b20f956b908b02cb (diff) | |
| download | emacs-7eff634e13e122dec87b75c23e8aaf9176f6a8df.tar.gz | |
(check-info-dir): New target.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 045a1e26894..8adddf4df5a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -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) |