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