commit 3d035ed4e125dbafc4975c1ce6220c4a62685635 parent dc85dd5cf6d4523373584a1b5b588689837e0e2d Author: Christian Grothoff <christian@grothoff.org> Date: Fri, 18 Nov 2016 21:00:29 +0100 add Makefile for proper build Diffstat:
| A | php/doc/Makefile | | | 13 | +++++++++++++ |
| D | php/doc/arch.jpg | | | 0 | |
| D | php/doc/arch.pdf | | | 0 |
3 files changed, 13 insertions(+), 0 deletions(-)
diff --git a/php/doc/Makefile b/php/doc/Makefile @@ -0,0 +1,13 @@ +all: tutorial.pdf tutorial.html + +tutorial.pdf: arch.pdf tutorial.texi + texi2pdf tutorial.texi +tutorial.html: arch.jpg tutorial.texi + texi2html tutorial.texi +arch.pdf: arch.dot + dot -Tpdf arch.dot > arch.pdf +arch.jpg: arch.dot + dot -Tjpg arch.dot > arch.jpg + +info_TEXINFOS = manual.texi +manual_TEXINFOS = version.texi diff --git a/php/doc/arch.jpg b/php/doc/arch.jpg Binary files differ. diff --git a/php/doc/arch.pdf b/php/doc/arch.pdf Binary files differ.
