From bce1b3a303c9c6e772fb269e5dc37f770fa614bc Mon Sep 17 00:00:00 2001 From: Philippe Chauvat Date: Fri, 12 Oct 2012 12:15:31 +0200 Subject: [PATCH] main ok but web --- docs/manuals/en/main/Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/manuals/en/main/Makefile.in b/docs/manuals/en/main/Makefile.in index de0a756b..e79656b1 100644 --- a/docs/manuals/en/main/Makefile.in +++ b/docs/manuals/en/main/Makefile.in @@ -96,7 +96,7 @@ commonfiles: @(for L in $(LICENCES); do ln -sf $$L .; done) @echo "Done" -tex: epscovers epsimages +tex: epscovers epsimages commonfiles @ln -sf $(TEXCOMPILERFILE) $(BSYSCOMPILERFILE) @touch ${DOC}i-dir.tex ${DOC}i-fd.tex ${DOC}i-sd.tex \ ${DOC}i-console.tex ${DOC}i-general.tex @@ -161,6 +161,7 @@ main_configs: pic2graph -density 100 main_configs.png mini-clean: + @rm ${DOC}.mtc* @rm -f 1 2 3 *.tex~ @rm -f *.gif *.jpg *.eps @rm -f *.aux *.cp *.fn *.ky *.log *.pg @@ -176,6 +177,7 @@ mini-clean: clean: + @rm ${DOC}.mtc* @find . -type l -name "*.tex" -exec rm {} \; @rm -f 1 2 3 *.tex~ @rm -f *.png *.gif *.jpg *.eps -- 2.39.5