Add Eric's link cleaner to make

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 558e24399192b9dc7b3830672e4c0dcaceffabe8..cff073601b094f674bb0aa3a2650a6d8537d14cb 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -1,6 +1,4 @@
 #
-# $Id$
-#
 @MCOMMON@
 
 srcdir =       @srcdir@
@@ -40,7 +38,7 @@ DIST    = Makefile.in
 
 en: all
 
-all:    templates external-references
+all:   templates external-references
        @echo " "
        @echo "Generating PDF manuals..."
        @for I in ${en_dirs}; \
@@ -50,12 +48,14 @@ all:    templates external-references
        done
        @for I in ${en_dirs}; \
          do (cd $$I; echo "==>Entering directory `pwd`"; \
-             $(MAKE) web || (echo ""; echo ""; echo "  ====== Error in `pwd` ======"; \
+             $(MAKE) web || (echo ""; echo ""; echo "  ====== Error in `pwd` ======"; \
                            echo ""; echo ""; exit 1;)); \
        done
        @echo " "
        @echo "Creating Web documentation..."
        @(cd $(toolsdir) ; $(TRANSLATE))
+       @echo "Remove links ..."
+       find . -type l -exec rm {} \;
        @echo "All manuals built ..."
 
 templates: