Merge pull request #123 from pik/make-install-dev

Bugfix: no install_dev target in docs/Makefile
This commit is contained in:
Arnout Engelen
2017-06-07 13:58:48 -07:00
committed by GitHub

View File

@@ -28,7 +28,6 @@ install_lib:
install_dev: install_dev:
$(MAKE) -C src -f MakeLib.mk $@ $(MAKE) -C src -f MakeLib.mk $@
$(MAKE) -C doc $@
uninstall: uninstall:
$(MAKE) -C src -f MakeApp.mk $@ $(MAKE) -C src -f MakeApp.mk $@