diff options
| author | Lars Thorsen <[email protected]> | 2015-12-04 13:08:44 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2015-12-04 13:08:44 +0100 |
| commit | c5e3f065998057c2bb304d75f9ec00228bacfc36 (patch) | |
| tree | 08538007c14e298db3bd5271fc3026693575c17d /make | |
| parent | 8fa96128d4a02019463d566e635f774e3fca7c67 (diff) | |
| parent | f86828fead59ba0a28658d3f5e7d8dc80f1c73fb (diff) | |
| download | otp-c5e3f065998057c2bb304d75f9ec00228bacfc36.tar.gz otp-c5e3f065998057c2bb304d75f9ec00228bacfc36.tar.bz2 otp-c5e3f065998057c2bb304d75f9ec00228bacfc36.zip | |
Merge branch 'maint'
Diffstat (limited to 'make')
| -rw-r--r-- | make/otp_release_targets.mk | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk index 97e9e4bb43..e104b68991 100644 --- a/make/otp_release_targets.mk +++ b/make/otp_release_targets.mk @@ -113,7 +113,16 @@ $(HTMLDIR)/$(APPLICATION).eix: $(XML_FILES) $(SPECS_FILES) docs: $(HTMLDIR)/$(APPLICATION).eix xmllint: $(XML_FILES) - $(XMLLINT) --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/priv/dtd_html_entities $(XML_FILES) + @echo "Running xmllint" + @BookFiles=`awk -F\" '/xi:include/ {print $$2}' book.xml`; \ + for i in $$BookFiles; do \ + if [ $$i = "notes.xml" ]; then \ + echo Checking $$i; \ + xmllint --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/priv/dtd_html_entities $$i; \ + else\ + awk -F\" '/xi:include/ {print "echo Checking " $$2 ;print "xmllint --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/priv/dtd_html_entities " $$2}' $$i |sh; \ + fi \ + done # ---------------------------------------------------- # Local documentation target for testing |