EXTRA_DIST = $(XMLS)
-html-local: guide.html
+html-local: guide.xhtml
ps-local: guide.ps
all: ps html txt
-guide.html : $(XMLS) $(IMAGES) ../html.xsl
+guide.xhtml : $(XMLS) $(IMAGES) ../html.xsl
../xp ../html.xsl guide.xml > guide.xhtml
guide.ps : $(XMLS) $(PICTURES) ../latex.xsl ../xp
# xmllint --noout --valid $(XMLS)
clean-local:
- rm -f guide.xhtml guide.html guide.ps guide.tex guide.dvi guide.log guide.txt guide.pdf
+ rm -f guide.xhtml guide.html guide.ps guide.tex guide.dvi guide.log guide,aux guide.toc guide.txt guide.pdf
rm -f $(IMAGES) $(PICTURES)