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