Created Debian package
[xmldoc.git] / doc / Makefile.am
index 13a3ca1..a4e8038 100644 (file)
@@ -37,10 +37,10 @@ guide.pdf : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
 guide.txt : $(XMLS) ../text.xsl
        ../xp ../text.xsl guide.xml > guide.txt
 
-check:
+validate:
        xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd guide.xml
 #      xmllint --noout --valid $(XMLS)
 
 clean-local:
-       rm -f guide.xhtml guide.html guide.ps guide.tex guide.dvi guide.log guide,aux guide.toc 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)