From e3e8ea0db59bf80bbcc021ddc52a64fd3df2ef4b Mon Sep 17 00:00:00 2001 From: thib Date: Mon, 15 May 2000 19:51:01 +0000 Subject: [PATCH] a minor bug corrected --- script/gen-doc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/script/gen-doc b/script/gen-doc index d588519..d02f865 100755 --- a/script/gen-doc +++ b/script/gen-doc @@ -1,6 +1,6 @@ #!/bin/sh -# $Id: gen-doc,v 1.2 2000-05-15 18:28:22 thib Exp $ +# $Id: gen-doc,v 1.3 2000-05-15 19:51:01 thib Exp $ if test $UID -eq 0; then su $USER @@ -32,6 +32,9 @@ if test $PREVIOUS != $1; then rm -f tmp fi done + + cd .. + fi -- 2.50.1