Remove build.sh: we have a Makefile now

2016-10-17 19:40:19 +02:00 · 2016-10-17 19:40:19 +02:00 · ac9a20877e
commit ac9a20877e
parent 20e9f95622
1 changed files with 0 additions and 3 deletions
--- a/build.sh
+++ b/build.sh
@ -1,3 +0,0 @@
-hotdoc run
-#cp -R attachments built_doc/html/
-#cp -R images built_doc/html/