README: adding info about build targets

diff --git a/doc/README b/doc/README
index 89197ff7c3d9d33839baf52dfdd9c742a9a34281..5c0c26885afb53d5e0e36a861eabae8238f86620 100644 (file)
--- 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