From a9c8c937dd1703ece5b9c95fa0859d83947a9af3 Mon Sep 17 00:00:00 2001 From: Christophe Bothamy Date: Sun, 4 Jan 2004 18:53:58 +0000 Subject: [PATCH] - prune directories when updating from repository when making releases --- bochs/doc/docbook/misc.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bochs/doc/docbook/misc.txt b/bochs/doc/docbook/misc.txt index 69f69ef05..91838aac8 100644 --- a/bochs/doc/docbook/misc.txt +++ b/bochs/doc/docbook/misc.txt @@ -1,4 +1,4 @@ -$Id: misc.txt,v 1.29 2004-01-01 23:10:33 cbothamy Exp $ +$Id: misc.txt,v 1.30 2004-01-04 18:53:58 cbothamy Exp $ This is a temporary place to paste in stuff that should go into the docs one day. When it is transferred into docbook, let's remove it from misc.txt. @@ -370,7 +370,7 @@ so that it sticks to the release tag. cp -a clean-anon bochs-2.0.pre3 cd bochs-2.0.pre3 -cvs upd -r REL_2_0_pre3_FINAL +cvs upd -P -r REL_2_0_pre3_FINAL cd .. tar czvf bochs-2.0.pre3.tar.gz --exclude CVS --exclude .cvsignore bochs-2.0.pre3