diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-12-21 15:55:07 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-12-21 15:55:07 -0800 |
| commit | c545e313b55b8efd1565f1ee50164026134a73dc (patch) | |
| tree | 49f8824d325ffd163095df3596d30653afa461fb /doc/misc/Makefile.in | |
| parent | a4b0cca119b01dc55bad802ef696c857fe014482 (diff) | |
| download | emacs-c545e313b55b8efd1565f1ee50164026134a73dc.tar.gz emacs-c545e313b55b8efd1565f1ee50164026134a73dc.tar.bz2 emacs-c545e313b55b8efd1565f1ee50164026134a73dc.zip | |
Remove time-stamp from woman.texi
* doc/misc/woman.texi (UPDATED, VERSION): Remove in favor of EMACSVER.
Include emacsver.texi. Nuke hand-written node pointers.
* doc/misc/Makefile.in ($(buildinfodir)/woman$(INFO_EXT), woman.dvi, woman.pdf):
Depend on emacsver.texi.
Diffstat (limited to 'doc/misc/Makefile.in')
| -rw-r--r-- | doc/misc/Makefile.in | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index c99657fb9bb..6b8c74e93bb 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -27,7 +27,6 @@ srcdir=@srcdir@ ## Where the output files go. buildinfodir = $(srcdir)/../../info ## Directory with emacsver.texi. -## Currently only used by efaq and calc. emacsdir = $(srcdir)/../emacs MKDIR_P = @MKDIR_P@ @@ -685,12 +684,12 @@ wisent.pdf: ${srcdir}/wisent.texi $(ENVADD) $(TEXI2PDF) ${srcdir}/wisent.texi woman : $(buildinfodir)/woman$(INFO_EXT) -$(buildinfodir)/woman$(INFO_EXT): ${srcdir}/woman.texi +$(buildinfodir)/woman$(INFO_EXT): ${srcdir}/woman.texi $(emacsdir)/emacsver.texi $(mkinfodir) $(MAKEINFO) $(MAKEINFO_OPTS) $(INFO_OPTS) -o $@ ${srcdir}/woman.texi -woman.dvi: ${srcdir}/woman.texi +woman.dvi: ${srcdir}/woman.texi $(emacsdir)/emacsver.texi $(ENVADD) $(TEXI2DVI) ${srcdir}/woman.texi -woman.pdf: ${srcdir}/woman.texi +woman.pdf: ${srcdir}/woman.texi $(emacsdir)/emacsver.texi $(ENVADD) $(TEXI2PDF) ${srcdir}/woman.texi |