Commit ae598258 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Remove style guide from make process

parent e433409a
......@@ -329,7 +329,6 @@ upload_page_tar:
docs/RELNOTES.html \
docs/INSTALL.html \
docs/GITINSTALL.html \
docs/CurryStyleGuide.html \
"${PUBLIC_HTML}"
artifacts:
paths:
......
......@@ -54,7 +54,6 @@ install:
$(MAKE) ../INSTALL.html
$(MAKE) ../GITINSTALL.html
$(MAKE) ../RELNOTES.html
$(MAKE) ../CurryStyleGuide.html
$(MAKE) libdoc
$(MAKE) ../Manual.pdf
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment