Commit 35178bfdb4145c96b2f2fe94fc40157c8c3c2dda

Steffen Jaeckel 2019-10-20T19:18:29

fixup c917f3c39121100dac22a182d7587f12d7ebc05c

1
2
3
4
5
6
7
8
9
10
diff --git a/doc/makefile b/doc/makefile
index 2c7978f..583becc 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -39,5 +39,4 @@ manual:	mandvi
 	rm -f bn.aux bn.dvi bn.log bn.idx bn.lof bn.out bn.toc
 
 clean:
-	${MAKE} -C pics/ clean MAKE=${MAKE}
 	rm -f *.idx *.toc *.log *.aux *.dvi *.lof *.ind *.ilg *.ps *.log tommath.tex