Revision 7aa82b67303c021ab907fa46a6ac697588c19141 authored by Mohamed Barakat on 06 July 2015, 10:48:56 UTC, committed by Mohamed Barakat on 06 July 2015, 10:51:39 UTC
1 parent 0151a87
makefile
all: doc test
doc: doc/manual.six
doc/manual.six: makedoc.g maketest.g \
PackageInfo.g \
doc/GradedRingForHomalg.bib doc/*.xml doc/*.css \
gap/*.gd gap/*.gi examples/*.g
gap makedoc.g
clean:
(cd doc ; ./clean)
test: doc
gap -b maketest.g
archive: test
(mkdir -p ../tar; cd ..; tar czvf tar/GradedRingForHomalg.tar.gz --exclude ".DS_Store" --exclude "*~" GradedRingForHomalg/doc/*.* GradedRingForHomalg/doc/clean GradedRingForHomalg/gap/*.{gi,gd} GradedRingForHomalg/{CHANGES,PackageInfo.g,README,VERSION,init.g,read.g,makedoc.g,makefile,maketest.g} GradedRingForHomalg/examples/*.g)
WEBPOS=public_html
WEBPOS_FINAL=~/Sites/homalg-project/GradedRingForHomalg
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.GradedRingForHomalg
cp doc/manual.pdf ${WEBPOS}/GradedRingForHomalg.pdf
cp doc/*.{css,html} ${WEBPOS}
rm -f ${WEBPOS}/*.tar.gz
mv ../tar/GradedRingForHomalg.tar.gz ${WEBPOS}/GradedRingForHomalg-`cat VERSION`.tar.gz
rm -f ${WEBPOS_FINAL}/*.tar.gz
cp ${WEBPOS}/* ${WEBPOS_FINAL}
ln -s GradedRingForHomalg-`cat VERSION`.tar.gz ${WEBPOS_FINAL}/GradedRingForHomalg.tar.gz
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...