diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index e4b5ef3d07c..d5cd6bd8d20 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1026,13 +1026,15 @@ info: force-info fi # The info/dir file must be updated by hand when new manuals are added. +# Cannot add an info/dir entry for efaq-w32 since it is not installed +# on all platforms. check-info-dir: info cd info ; \ missing= ; \ for file in *; do \ test -f "$${file}" || continue ; \ case $${file} in \ - *-[0-9]*|COPYING|dir) continue ;; \ + *-[0-9]*|COPYING|dir|efaq-w32*) continue ;; \ esac ; \ file=`echo $${file} | sed 's/\.info//'` ; \ grep -q -F ": ($${file})." dir || missing="$${missing} $${file}" ; \ |