|
a/src/makesrcdist.sh |
|
b/src/makesrcdist.sh |
|
... |
|
... |
| 101 |
fi
|
101 |
fi
|
| 102 |
|
102 |
|
| 103 |
################################### Documentation
|
103 |
################################### Documentation
|
| 104 |
###### Html doc
|
104 |
###### Html doc
|
| 105 |
RECOLLDOC=${RECOLLDOC:=doc/user}
|
105 |
RECOLLDOC=${RECOLLDOC:=doc/user}
|
| 106 |
(cd $RECOLLDOC;make) || exit 1
|
106 |
(cd $RECOLLDOC; sh xmlmake.sh) || exit 1
|
|
|
107 |
rm -f $RECOLLDOC/usermanual-xml.html $RECOLLDOC/usermanual.xml
|
| 107 |
|
108 |
|
| 108 |
###### Text Doc
|
109 |
###### Text Doc
|
| 109 |
chmod +w README INSTALL
|
110 |
chmod +w README INSTALL
|
| 110 |
cat <<EOF > README
|
111 |
cat <<EOF > README
|
| 111 |
|
112 |
|