Re: documentation in PDF?

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Sat, Jan 19, 2008 at 05:58:26PM +0100, Vincent Lefevre wrote:
> Then, if the user typed "make docpdf", then this means that he wants
> the PDF files and there should be a way to install them.

As a fisrt step, the patch below add a target 'install-docpdf' that will run 
'make docpdf' and install the resulting files.

Cheers,
Bill.

Index: config/Makefile.SH
===================================================================
--- config/Makefile.SH	(révision 9509)
+++ config/Makefile.SH	(copie de travail)
@@ -408,6 +408,14 @@
 	-\$(INSTALL_DATA) $doc/refcard.dvi  \$(DOCDIR)
 	-\$(INSTALL_DATA) $doc/refcard.ps   \$(DOCDIR)
 
+install-docpdf::
+	-mkdir -p \$(BINDIR) \$(DOCDIR)
+	-cd $doc; \$(MAKE) docpdf
+	-\$(INSTALL_DATA) $doc/libpari.pdf  \$(DOCDIR)
+	-\$(INSTALL_DATA) $doc/users.pdf    \$(DOCDIR)
+	-\$(INSTALL_DATA) $doc/tutorial.pdf \$(DOCDIR)
+	-\$(INSTALL_DATA) $doc/refcard.pdf  \$(DOCDIR)
+
 install-examples:
 	-mkdir -p \$(EXDIR)
 	-\$(INSTALL_DATA) $ex/EXPLAIN     \$(EXDIR)
Index: config/TOP_Make.SH
===================================================================
--- config/TOP_Make.SH	(révision 9509)
+++ config/TOP_Make.SH	(copie de travail)
@@ -41,7 +41,7 @@
 	@-cd doc && \$(MAKE) doc
 	@\$(MAKE) gp
 
-gp bench test-kernel test-all $top_test_extra $top_dotest_extra install cleanobj cleantest install-bin install-doc install-data install-lib-sta install-bin-sta dobench tune::
+gp bench test-kernel test-all $top_test_extra $top_dotest_extra install cleanobj cleantest install-bin install-doc install-docpdf install-data install-lib-sta install-bin-sta dobench tune::
 	@dir=\`config/objdir\`; echo "Making \$@ in \$\$dir";\\
 	 if test ! -d \$\$dir; then echo "Please run Configure first!"; exit 1; fi;\\
 	cd \$\$dir && \$(MAKE) \$@