Add "make pdf" and "make install-pdf", from Brooks Moses

<brooks.moses@codesourcery.com>.
This commit is contained in:
Daniel Jacobowitz
2007-03-27 18:09:36 +00:00
parent b741e21792
commit 9453113a8d
15 changed files with 117 additions and 5 deletions

View File

@ -1,3 +1,7 @@
2007-03-27 Brooks Moses <brooks.moses@codesourcery.com>
* Makefile.in: Add support for "pdf" and "install-pdf" targets.
2006-12-19 Paolo Bonzini <bonzini@gnu.org>
* configure.texi: Fix botched commit.