From 4d72f68f2a2a8280133305356f6dc5071fd1446e Mon Sep 17 00:00:00 2001 From: Nathan Bird Date: Tue, 2 Mar 2010 17:18:56 -0500 Subject: [PATCH] README: adding info about build targets --- doc/README | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/doc/README b/doc/README index 89197ff..5c0c268 100644 --- a/doc/README +++ b/doc/README @@ -1,4 +1,3 @@ - Building the documentation: You will need the following packages: @@ -10,3 +9,16 @@ You will need the following packages: * fop These are the debian/ubuntu package names; on other systems there are probably similar. + + +General Build: +> make + +Check the validity of the source +> make check + +Build just the html: +> make html + +Build just the pdf: +> make pdf -- 2.34.1