Module: xenomai-2.4
Branch: master
Commit: 3f62f8c562f322668ab28351e6a68d3260401ac8
URL:
http://git.xenomai.org/?p=xenomai-2.4.git;a=commit;h=3f62f8c562f322668ab28351e6a68d3260401ac8
Author: Philippe Gerum <r...@xenomai.org>
Date: Tue Oct 27 03:28:20 2009 +0100
doc: fix removal rule
---
scripts/maint/generate-doc | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/scripts/maint/generate-doc b/scripts/maint/generate-doc
index c7e79d8..ae342a6 100755
--- a/scripts/maint/generate-doc
+++ b/scripts/maint/generate-doc
@@ -67,7 +67,7 @@ cd "$abs_srcdir"
echo -n 'Removing files...'
cat "$builddir/tmp-dist/removed" | while read -a file; do
rm "${file[*]}"
- git remove "${file[*]}"
+ git rm "${file[*]}"
done
echo `cat "$builddir/tmp-dist/removed"` done.
_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git
