Remove useless Makefile target 'nothing'

sinoroc · sinoroc · commit e6cd39482a71 · 2019-11-17T15:52:01.000+01:00
diff --git a/Makefile b/Makefile
@@ -26,11 +26,6 @@ pdf: latex
 	$(MAKE) -C $(build_dir)/$<
 
 
-.PHONY: nothing
-nothing:
-	true
-
-
 .PHONY: all
 all: html pdf
 
diff --git a/tox.ini b/tox.ini
@@ -17,7 +17,6 @@ whitelist_externals =
 
 [testenv:develop]
 commands =
-    make nothing
 deps =
     Sphinx
 
