Revision a553b5c27addd3fd70ff802961c11fecc5519c3d authored by Sebastian Posur on 20 September 2015, 12:42:15 UTC, committed by Sebastian Posur on 20 September 2015, 12:42:15 UTC
1 parent 1346890
makefile
all: doc
doc: doc/manual.six
doc/manual.six: makedoc.g \
PackageInfo.g \
gap/*.gd gap/*.gi
gap makedoc.g
clean:
(cd doc ; rm manual.six)
archive: doc
(mkdir -p ../tar; cd ..; tar czvf tar/4ti2Interface.tar.gz --exclude ".DS_Store" --exclude "*~" 4ti2Interface/doc/*.* 4ti2Interface/gap/*.{gi,gd} 4ti2Interface/{PackageInfo.g,README,VERSION,init.g,read.g,makedoc.g,makefile} )
WEBPOS=public_html
WEBPOS_FINAL=~/public_html/gap_packages/4ti2Interface
towww: archive
echo '<?xml version="1.0" encoding="UTF-8"?>' >${WEBPOS}.version
echo '<mixer>' >>${WEBPOS}.version
cat VERSION >>${WEBPOS}.version
echo '</mixer>' >>${WEBPOS}.version
cp PackageInfo.g ${WEBPOS}
cp README ${WEBPOS}/README.4ti2Interface
cp doc/manual.pdf ${WEBPOS}/4ti2Interface.pdf
cp doc/*.{css,html} ${WEBPOS}
rm -f ${WEBPOS}/*.tar.gz
mv ../tar/4ti2Interface.tar.gz ${WEBPOS}/4ti2Interface-`cat VERSION`.tar.gz
rm -f ${WEBPOS_FINAL}/*.tar.gz
cp ${WEBPOS}/* ${WEBPOS_FINAL}
ln -s 4ti2Interface-`cat VERSION`.tar.gz ${WEBPOS_FINAL}/4ti2Interface.tar.gz
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...