cleaning out the closet

Original commit message from CVS:
cleaning out the closet

diff --git a/docs/manuals.mak b/docs/manuals.mak
index a42533b..ee860df 100644 (file)
--- a/docs/manuals.mak
+++ b/docs/manuals.mak
@@ -165,8 +165,8 @@ $(BUILDIMAGESDIR)/%.ps: %.png
        @cat $< | pngtopnm | pnmtops -noturn > $@ 2> /dev/null
 
 # make sure xml validates properly
-#check-local:
-#      xmllint -noout -valid $(srcdir)/$(MAIN)
+check-local: $(BUILDDIR)/$(MAIN)
+       cd $(BUILDDIR) && xmllint -noout -valid $(MAIN)
 
 ### this is a website upload target