| 48 |
echo -n '-- Finish building manual at : ' ; date |
echo -n '-- Finish building manual at : ' ; date |
| 49 |
if test -e scratch/dev_docs ; then |
if test -e scratch/dev_docs ; then |
| 50 |
newbld="dev_docs_"`date +%Y%m%d`"_"`date +%H%M` |
newbld="dev_docs_"`date +%Y%m%d`"_"`date +%H%M` |
| 51 |
|
echo " mv scratch/dev_docs $OUTDIR/$newbld" |
| 52 |
mv scratch/dev_docs $OUTDIR/$newbld |
mv scratch/dev_docs $OUTDIR/$newbld |
| 53 |
fi |
fi |
| 54 |
#exit |
#exit |
| 55 |
|
|
| 56 |
( |
( |
| 57 |
cd $OUTDIR |
cd $OUTDIR |
| 58 |
|
echo -n "-- Install latest in dir: "`pwd` |
| 59 |
test -e latest && rm -f latest |
test -e latest && rm -f latest |
| 60 |
ln -s `ls -t | head -1` latest |
echo -n " ln -s `ls -td dev_docs* | head -1` latest" |
| 61 |
# n=$(( `ls -d dev_docs* | wc -l` - 7 )) |
ln -s `ls -td dev_docs* | head -1` latest |
| 62 |
n=$(( `ls dev_docs*/index.html | wc -l` - 7 )) |
n=$(( `ls dev_docs*/index.html | wc -l` - 7 )) |
| 63 |
if test $n -gt 0 ; then |
if test $n -gt 0 ; then |
| 64 |
# ls -td dev_docs* | tail -"$n" | xargs rm -rf |
echo -n ' remove dir: ' |
| 65 |
|
ls -t dev_docs*/index.html | sed 's/\/index.html//' | tail -"$n" |
| 66 |
ls -t dev_docs*/index.html | sed 's/\/index.html//' | tail -"$n" | xargs rm -rf |
ls -t dev_docs*/index.html | sed 's/\/index.html//' | tail -"$n" | xargs rm -rf |
| 67 |
fi |
fi |
| 68 |
) |
) |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch