diff options
-rw-r--r-- | mblock/doc/Makefile.am | 5 | ||||
-rw-r--r-- | pmt/doc/Makefile.am | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/mblock/doc/Makefile.am b/mblock/doc/Makefile.am index 7311964376..18b82831a6 100644 --- a/mblock/doc/Makefile.am +++ b/mblock/doc/Makefile.am @@ -39,5 +39,6 @@ BUILT_XML_FILES = clean: -rm -f $(TARGETS) $(BUILT_XML_FILES) -%.html : %.xml - xmlto html-nochunks $< +# This is non-portable pattern rule. +#%.html : %.xml +# xmlto html-nochunks $< diff --git a/pmt/doc/Makefile.am b/pmt/doc/Makefile.am index 7311964376..18b82831a6 100644 --- a/pmt/doc/Makefile.am +++ b/pmt/doc/Makefile.am @@ -39,5 +39,6 @@ BUILT_XML_FILES = clean: -rm -f $(TARGETS) $(BUILT_XML_FILES) -%.html : %.xml - xmlto html-nochunks $< +# This is non-portable pattern rule. +#%.html : %.xml +# xmlto html-nochunks $< |