]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Hide commands.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 18 Dec 2004 21:04:36 +0000 (21:04 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 18 Dec 2004 21:04:36 +0000 (21:04 +0000)
git-svn-id: https://svn.dealii.org/trunk@9846 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/reports/Makefile

index 87ba1d8d0eacecf18c499462ec47bcd106e80187..c2fc2e5689bb0f0f5781ca3fcb53bd7231ab537d 100644 (file)
@@ -5,7 +5,7 @@ include ../../common/Make.global_options
 
 # check xrefs in all subdirs
 validate-xrefs:
-       for dir in * ; do \
+       @for dir in * ; do \
          if test -d $$dir -a ! $$dir = CVS ; then \
            cd $$dir ; \
            if (ls -l | grep html > /dev/null) ; then \

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.