Only build HTML [not PDF] on default build

diff --git a/doc/Makefile b/doc/Makefile
index b98923c..93fe3fb 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -48,7 +48,7 @@ CATALOG:=`pwd`/catalog-${OS}.xml
 CHECK:=XML_CATALOG_FILES="$(CATALOG)" xmllint --noout --xinclude --postvalid $(DOCFILE) || exit 1
 
 .PHONY: all
-all: html pdf 
+all: html 
 
 .PHONY: dist
 dist: html pdf