diff options
Diffstat (limited to 'doc/misc/Makefile.in')
-rw-r--r-- | doc/misc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index b3318ddd183..e5f56be5016 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -410,7 +410,7 @@ eudc.pdf: $(eudc_deps) eudc.html: $(eudc_deps) $(MAKEINFO) $(MAKEINFO_OPTS) $(HTML_OPTS) -o $@ ${srcdir}/eudc.texi -eww_deps = ${srcdir}/eww.texi $(emacsdir)/emacsver.texi ${gfdl} +eww_deps = ${srcdir}/eww.texi ${gfdl} eww : $(buildinfodir)/eww$(INFO_EXT) $(buildinfodir)/eww$(INFO_EXT): $(eww_deps) $(mkinfodir) |