This is a patch against tarball r3200. Unless texi2dvi --pdf (aka
texi2pdf) is too exotic, please apply.
<log>
Generating PDF docs with texi2dvi --pdf we get bookmarks, coloured
internal document links (also in toc and index) and external hyperlinks
(http and mailto URLs), embedded type 1 fonts and smaller files.
* Makefile.in
(DVIPDF, .dvi.pdf): Removed definition and rule as obsolete
(.texi.pdf): Added new rule
</log>
Regards,
Stephan
--- Makefile.in 2002/10/01 23:22:39 1.1
+++ Makefile.in 2002/10/01 23:31:15
@@ -36,7 +36,6 @@
MAKEINFO = @MAKEINFO@
TEXI2DVI = texi2dvi
DVIPS = dvips
-DVIPDF = dvipdf
CC = @CC@
@@ -232,6 +231,9 @@
.texi.dvi:
wd=`pwd` ; cd `dirname $@` ; $(TEXI2DVI) $$wd/$<
+.texi.pdf:
+ wd=`pwd` ; cd `dirname $@` ; $(TEXI2DVI) --pdf $$wd/$<
+
.texi.txt:
$(MAKEINFO) -I `dirname $<` --no-headers -o $@ $<
@@ -241,9 +243,6 @@
.dvi.ps:
$(DVIPS) $< -o $@
-.dvi.pdf:
- $(DVIPDF) $< $@
-
install-docs: install-man @INSTALL_INFO@
manroot = $(mandir)/man
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org
Received on Thu Oct 3 00:54:34 2002