From ac8dfe75555d3a21f34060a5c776043a55263c24 Mon Sep 17 00:00:00 2001 From: wolf Date: Sat, 18 Dec 2004 21:04:36 +0000 Subject: [PATCH] Hide commands. git-svn-id: https://svn.dealii.org/trunk@9846 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/reports/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/doc/reports/Makefile b/deal.II/doc/reports/Makefile index 87ba1d8d0e..c2fc2e5689 100644 --- a/deal.II/doc/reports/Makefile +++ b/deal.II/doc/reports/Makefile @@ -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 \ -- 2.39.5