diff options
Diffstat (limited to 'system/doc/programming_examples/Makefile')
| -rw-r--r-- | system/doc/programming_examples/Makefile | 3 |
1 files changed, 0 insertions, 3 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 # ---------------------------------------------------- |