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