Changeset 32902


Ignore:
Timestamp:
Jan 14, 2008, 9:26:33 PM (12 years ago)
Author:
simon@…
Message:

doc-new: Added validate target to Makefile which checks the guide with xmllint.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/doc-new/Makefile

    r32812 r32902  
    1818SED      = /usr/bin/sed
    1919XSLTPROC = $(PREFIX)/bin/xsltproc
     20XMLLINT  = $(PREFIX)/bin/xmllint
    2021
    2122# data directories:
     
    8182        $(RM) -rf $(MAN-RESULT)
    8283        $(RM) -rf $(MAN-TMP)
     84        $(RM) -f  guide.tmp.xml
     85
     86# Validate the xml files for the guide.
     87# These two steps are necessary as otherwise xmllint complains about missing
     88# ids.
     89validate:
     90        $(XMLLINT) --xinclude $(GUIDE-SRC)/guide.xml > guide.tmp.xml
     91        $(XMLLINT) --loaddtd --valid --noout guide.tmp.xml
Note: See TracChangeset for help on using the changeset viewer.