projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf2b9e8) | patch
doc: Use a recent texinfo.tex.
authorBruno Haible <bruno@clisp.org>
Sat, 28 May 2011 14:47:00 +0000 (16:47 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 28 May 2011 14:47:00 +0000 (16:47 +0200)
commit0ff8eeaf685c4435041d204035de6bc28864e38a
tree7338ba5ce44fd3b7421aa84a9b458af51aad6efdtree | snapshot
parentcf2b9e844c9b33e342765b2cc39b1359f9cca95bcommit | diff
doc: Use a recent texinfo.tex.

* doc/Makefile (tex_opts): New variable.
(%.dvi, %.pdf): Pass it to texi2dvi and texi2pdf.
ChangeLog diff | blob | history
doc/Makefile diff | blob | history
gnulib debian + stable branches