diff options
| author | Lars Thorsen <[email protected]> | 2015-10-05 12:37:36 +0200 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2015-11-30 08:42:17 +0100 |
| commit | a335fc471406252132b9152de2bc901193f90121 (patch) | |
| tree | f8b59115f2ebef113777d7f480dbf1a548f054eb | |
| parent | cb431af03a56ac195862289da474947c2107cdde (diff) | |
| download | otp-a335fc471406252132b9152de2bc901193f90121.tar.gz otp-a335fc471406252132b9152de2bc901193f90121.tar.bz2 otp-a335fc471406252132b9152de2bc901193f90121.zip | |
Change xmllint target
| -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 |