diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-01-15 13:27:51 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-01-15 13:27:51 -0500 |
| commit | 630395d1f6dbf538b8739899d15333712bbe6d10 (patch) | |
| tree | cb5f19d26c040d27a740d82fed59482ae7df0e8a /doc/misc/Makefile.in | |
| parent | fa9daa2852f612d65cb0624557bb490da5ec8e47 (diff) | |
| download | emacs-630395d1f6dbf538b8739899d15333712bbe6d10.tar.gz | |
Small doc/ copyedits
* doc/emacs/files.texi (File Conveniences):
* doc/emacs/misc.texi (EWW): Copyedits.
* doc/misc/Makefile.in (eww_deps): Does not depend on emacsver.texi.
* doc/misc/eww.texi: Comment.
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) |