From bfddb011dc70916c7fb530c0ff05dc4cd314cebd Mon Sep 17 00:00:00 2001
From: pik <alexander.maznev@gmail.com>
Date: Mon, 15 May 2017 15:10:37 -0500
Subject: [PATCH] Bugfix: no install_dev target in docs/Makefile

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index fd413a0..6e8eaf1 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,6 @@ install_lib:
 
 install_dev:
 	$(MAKE) -C src -f MakeLib.mk $@
-	$(MAKE) -C doc $@
 
 uninstall:
 	$(MAKE) -C src -f MakeApp.mk $@