Improve doc.

Change-Id: I0b25fd1c645a47084fb7fda1bbb7d41a2d10dcbb
2017-09-11 17:18:01 +02:00
parent cf3fabfa0f
commit 77b01404d9
56 changed files with 52 additions and 1297 deletions
--- a/6
+++ b/6
@ -9,10 +9,8 @@ clean:
 	@rm -rf html
 	@mkdir html

-doc: doc/*.md
-	@echo "Generating html tree"
-	@bin/make_doc.py
-	$(MAKE) -C doc/srcdoc html
+doc:
+	$(MAKE) -C doc html

 demo:
 	@bin/secop-server -q demo &