diff options
Diffstat (limited to 'system')
-rw-r--r-- | system/doc/programming_examples/Makefile | 3 | ||||
-rw-r--r-- | system/doc/system_principles/Makefile | 3 | ||||
-rw-r--r-- | system/doc/tutorial/Makefile | 3 |
3 files changed, 0 insertions, 9 deletions
diff --git a/system/doc/programming_examples/Makefile b/system/doc/programming_examples/Makefile index cb028b61df..af731f85b4 100644 --- a/system/doc/programming_examples/Makefile +++ b/system/doc/programming_examples/Makefile @@ -88,9 +88,6 @@ clean clean_docs: rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) rm -f errs core *~ -$(XMLDIR)/%.xml: %.xmlsrc - $(gen_verbose)escript $(DOCGEN)/priv/bin/codeline_preprocessing.escript $< $@ - # ---------------------------------------------------- # Release Target # ---------------------------------------------------- diff --git a/system/doc/system_principles/Makefile b/system/doc/system_principles/Makefile index 927cd70985..ec6591ec6b 100644 --- a/system/doc/system_principles/Makefile +++ b/system/doc/system_principles/Makefile @@ -85,9 +85,6 @@ clean clean_docs: rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) rm -f errs core *~ -$(XMLDIR)/%.xml: %.xmlsrc - $(gen_verbose)escript $(DOCGEN)/priv/bin/codeline_preprocessing.escript $< $@ - # ---------------------------------------------------- # Release Target # ---------------------------------------------------- diff --git a/system/doc/tutorial/Makefile b/system/doc/tutorial/Makefile index fbdb5e5a89..606064da72 100644 --- a/system/doc/tutorial/Makefile +++ b/system/doc/tutorial/Makefile @@ -113,9 +113,6 @@ clean clean_docs: rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) rm -f errs core *~ -$(XMLDIR)/%.xml: %.xmlsrc - $(gen_verbose)escript $(DOCGEN)/priv/bin/codeline_preprocessing.escript $< $@ - # ---------------------------------------------------- # Release Target # ---------------------------------------------------- |