diff options
Diffstat (limited to 'pmt')
| -rw-r--r-- | pmt/doc/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pmt/doc/Makefile.am b/pmt/doc/Makefile.am index 731196437..18b82831a 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 $< |