From 54e7b5a5ef1ab05501972328108003c7745cb52d Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Fri, 4 Feb 2005 08:46:17 +0000
Subject: "Committed_by_peb"

---
 src/haddock/haddock-script.csh | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'src/haddock/haddock-script.csh')

diff --git a/src/haddock/haddock-script.csh b/src/haddock/haddock-script.csh
index 57248faea..ea1980d8c 100644
--- a/src/haddock/haddock-script.csh
+++ b/src/haddock/haddock-script.csh
@@ -2,8 +2,8 @@
 
 ######################################################################
 # Author: Peter Ljunglöf
-# Time-stamp: "2005-02-03, 16:21"
-# CVS $Date: 2005/02/03 15:23:02 $
+# Time-stamp: "2005-02-04, 10:12"
+# CVS $Date: 2005/02/04 09:46:17 $
 # CVS $Author: peb $
 #
 # a script for producing documentation through Haddock
@@ -19,12 +19,10 @@ set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs
 ######################################################################
 
 echo 0. Creating and cleaning Haddock directory
+echo -- $docdir
 
-if (-d $docdir) then
-    rm $docdir/*
-else
-    mkdir $docdir
-endif
+mkdir -p $docdir
+rm $docdir/*
 
 ######################################################################
 
-- 
cgit v1.2.3