mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-01-08 04:30:45 -08:00
Tweak reftex.texi's inclusion of emacsver.texi
* doc/misc/Makefile.in ($(buildinfodir)/reftex$(INFO_EXT)), reftex.dvi) (reftex.pdf): Add dependency on emacsver.texi. * doc/misc/reftex.texi: Don't include directory part for emacsver.texi; the Makefile's -I handles it.
This commit is contained in:
parent
c22bac2cc5
commit
07f133bf5d
3 changed files with 11 additions and 4 deletions
|
|
@ -1,3 +1,10 @@
|
|||
2012-10-01 Glenn Morris <rgm@gnu.org>
|
||||
|
||||
* Makefile.in ($(buildinfodir)/reftex$(INFO_EXT)), reftex.dvi)
|
||||
(reftex.pdf): Add dependency on emacsver.texi.
|
||||
* reftex.texi: Don't include directory part for emacsver.texi;
|
||||
the Makefile's -I handles it.
|
||||
|
||||
2012-09-30 Ralf Angeli <angeli@caeruleus.net>
|
||||
|
||||
Merge from standalone RefTeX repository.
|
||||
|
|
|
|||
|
|
@ -526,12 +526,12 @@ rcirc.pdf: ${srcdir}/rcirc.texi
|
|||
$(ENVADD) $(TEXI2PDF) ${srcdir}/rcirc.texi
|
||||
|
||||
reftex : $(buildinfodir)/reftex$(INFO_EXT)
|
||||
$(buildinfodir)/reftex$(INFO_EXT): ${srcdir}/reftex.texi
|
||||
$(buildinfodir)/reftex$(INFO_EXT): ${srcdir}/reftex.texi $(emacsdir)/emacsver.texi
|
||||
$(mkinfodir)
|
||||
$(MAKEINFO) $(MAKEINFO_OPTS) $(INFO_OPTS) -o $@ ${srcdir}/reftex.texi
|
||||
reftex.dvi: ${srcdir}/reftex.texi
|
||||
reftex.dvi: ${srcdir}/reftex.texi $(emacsdir)/emacsver.texi
|
||||
$(ENVADD) $(TEXI2DVI) ${srcdir}/reftex.texi
|
||||
reftex.pdf: ${srcdir}/reftex.texi
|
||||
reftex.pdf: ${srcdir}/reftex.texi $(emacsdir)/emacsver.texi
|
||||
$(ENVADD) $(TEXI2PDF) ${srcdir}/reftex.texi
|
||||
|
||||
remember : $(buildinfodir)/remember$(INFO_EXT)
|
||||
|
|
|
|||
|
|
@ -27,7 +27,7 @@ Con@TeX{}t
|
|||
\gdef\ConTeXt{Con\TeX t}
|
||||
@end tex
|
||||
|
||||
@include ../emacs/emacsver.texi
|
||||
@include emacsver.texi
|
||||
|
||||
@set VERSION @value{EMACSVER}
|
||||
@set AUCTEXSITE @uref{http://www.gnu.org/software/auctex/,@AUCTeX{} web site}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue