main ok but web

diff --git a/docs/manuals/en/main/Makefile.in b/docs/manuals/en/main/Makefile.in
index de0a756bd2c3009b761b00b6679dffd15d2a902d..e79656b11f821ec3cde5f33b5041683378d3349a 100644 (file)
--- 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.pic >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