mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-22 13:50:47 +00:00
Fixed/cleaned make clean for gsdoc - was running rm unnecessarily many
times git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@10858 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
3b124863a8
commit
f9c0b71bda
1 changed files with 6 additions and 0 deletions
|
@ -1,3 +1,9 @@
|
|||
Mon Sep 10 15:40:06 2001 Nicola Pero <nicola@brainstorm.co.uk>
|
||||
|
||||
* documentation.make (internal-doc-clean): Fixed make clean for
|
||||
gsdoc - removed old useless shell loop which was causing rm to be
|
||||
run unnecessarily many times.
|
||||
|
||||
Mon Sep 10 11:25:58 2001 Nicola Pero <nicola@brainstorm.co.uk>
|
||||
|
||||
* rootinstall.sh: Removed as obsolete.
|
||||
|
|
Loading…
Reference in a new issue