Module: xenomai-head
Branch: master
Commit: 49dc1696c89a2a756e6b1bee218ff5fe4a8c7124
URL:
http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=49dc1696c89a2a756e6b1bee218ff5fe4a8c7124
Author: Philippe Gerum <r...@xenomai.org>
Date: Sat Aug 8 19:02:10 2009 +0200
doc: fix generation script
---
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
