Module: xenomai-2.5
Branch: master
Commit: 468ac4abb49b021b1bfe55ac2053de0d95433145
URL:
http://git.xenomai.org/?p=xenomai-2.5.git;a=commit;h=468ac4abb49b021b1bfe55ac2053de0d95433145
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Wed Feb 3 23:54:29 2010 +0100
maint: extract-doc copies plain-text files too.
---
scripts/maint/extract-doc | 6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/scripts/maint/extract-doc b/scripts/maint/extract-doc
index 04ca50b..271790f 100755
--- a/scripts/maint/extract-doc
+++ b/scripts/maint/extract-doc
@@ -91,11 +91,15 @@ for dir in ${1+"$@"}; do
$ECHO Changing files and directories modes...
find $dir/doc/generated $dir/doc/nodist | xargs chmod u=rwX,g=rwX,o=rX
+ chmod u=rw,g=rw $dir/TROUBLESHOOTING $dir/README.INSTALL
$ECHO done.
$ECHO Copying to $installdir/$dir...
mkdir -p $installdir/$dir
- $RSYNC -e ssh -prltgDz --delete --delete-after $dir/doc/generated/
$dir/doc/nodist/ $installdir/$dir/
+ $RSYNC -e ssh -prltgDz --delete --delete-after \
+ $dir/doc/generated/ $dir/doc/nodist/ \
+ $dir/README.INSTALL $dir/TROUBLESHOOTING \
+ $installdir/$dir/
$ECHO done.
done
_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git
