Bugfix: no install_dev target in docs/Makefile

2017-05-15 15:10:37 -05:00
parent 262799a36b
commit bfddb011dc
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@@ -28,7 +28,6 @@ install_lib:

 install_dev:
 	$(MAKE) -C src -f MakeLib.mk $@
-	$(MAKE) -C doc $@

 uninstall:
 	$(MAKE) -C src -f MakeApp.mk $@