Remove dev option in Makefile

Since its' support is removed from 09bb35e

Change-Id: I48eeb4d9eeb264a6d84050376a8793685c9261a7

diff --git a/Makefile b/Makefile
index 49551d4..275b66d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -45,9 +45,6 @@ docs: man html pdf
 install: all
        python setup.py install --prefix=${PREFIX}
 
-dev: all
-       python setup.py develop --prefix=${PREFIX}
-
 clean:
        rm -rf build/
        rm -rf dist/