Permalink
Browse files

Bugfix: no install_dev target in docs/Makefile

  • Loading branch information...
pik committed May 15, 2017
1 parent 262799a commit bfddb011dc70916c7fb530c0ff05dc4cd314cebd
Showing with 0 additions and 1 deletion.
  1. +0 −1 Makefile
View
@@ -28,7 +28,6 @@ install_lib:
install_dev:
$(MAKE) -C src -f MakeLib.mk $@
$(MAKE) -C doc $@
uninstall:
$(MAKE) -C src -f MakeApp.mk $@

0 comments on commit bfddb01

Please sign in to comment.