doc/makefile
changeset 282 7f85e99502db
parent 186 47cd1716870e
child 288 84e75e8f2fd2
     1.1 --- a/doc/makefile	Sat Apr 03 17:26:46 2004 +0000
     1.2 +++ b/doc/makefile	Sat Apr 03 18:21:25 2004 +0000
     1.3 @@ -6,4 +6,7 @@
     1.4  	makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi
     1.5  
     1.6  texi-html: etikol.texi flf-graph.texi
     1.7 -	makeinfo etikol.texi&&makeinfo --html etikol.texi
     1.8 \ No newline at end of file
     1.9 +	makeinfo etikol.texi&&makeinfo --html etikol.texi
    1.10 +
    1.11 +clean:
    1.12 +	rm -rf html latex