File: updateAll.sh

package info (click to toggle)
gap-hap 1.74%2Bds-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 58,664 kB
  • sloc: xml: 16,678; sh: 197; javascript: 155; makefile: 121; ansic: 47; perl: 24
file content (7 lines) | stat: -rw-r--r-- 318 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
#Run this script whenever the package version number has increased. It 
#first updates the .xml manual files, and then changes the version number 
#in several www files and in the README.HAP file.

gap -l '/home/graham/;' -A -r ./doc/updateUndocumented.gi;
gap -l '/home/graham/;' -r ./doc/updateIndex.gi;
./doc/rd.sh