Limit documentation for debian packaging
authorArjen Baart <arjen@andromeda.nl>
Fri, 15 May 2020 06:27:10 +0000 (08:27 +0200)
committerArjen Baart <arjen@andromeda.nl>
Fri, 15 May 2020 06:27:10 +0000 (08:27 +0200)
debian/rules
doc/Makefile.am

index b2f4e74..2d7010b 100755 (executable)
@@ -1,4 +1,4 @@
 #!/usr/bin/make -f
 %:
-       export PATH=/usr/local/bin:$PATH
+       export PATH=/usr/local/bin:$(PATH)
        dh $@
index cb8ac88..3f50245 100644 (file)
@@ -16,26 +16,27 @@ EXTRA_DIST = $(XMLS)
 
 html-local: manual.html
 
-ps-local: manual.ps
+#ps-local: manual.ps
 
-txt: manual.txt
+#txt: manual.txt
 
-all:  html txt ps
+#all:  html txt ps
+all:  html
 
 manual.html : $(XMLS) $(IMAGES)
-       xml2html manual.xml > manual.html
+       /usr/local/bin/xml2html manual.xml > manual.html
 
-manual.ps : $(XMLS)  $(PICTURES)
-       xml2latex manual.xml > manual.tex 
-       latex manual.tex
-       dvips -o manual.ps manual.dvi
+#manual.ps : $(XMLS)  $(PICTURES)
+#      xml2latex manual.xml > manual.tex 
+#      latex manual.tex
+#      dvips -o manual.ps manual.dvi
 
-manual.pdf : $(XMLS)  $(PICTURES)
-       xml2latex manual.xml > manual.tex 
-       pdflatex manual.tex
+#manual.pdf : $(XMLS)  $(PICTURES)
+#      xml2latex manual.xml > manual.tex 
+#      pdflatex manual.tex
 
-manual.txt : $(XMLS)
-       xml2text manual.xml > manual.txt
+#manual.txt : $(XMLS)
+#      xml2text manual.xml > manual.txt
 
 check:
 #      xmllint --noout --xinclude --loaddtd --noent --schema /usr/local/xslt/doc.xsd manual.xml