File: HowToUpdateHap.txt

package info (click to toggle)
gap-hap 1.73%2Bds-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 58,508 kB
  • sloc: xml: 16,467; sh: 197; javascript: 155; makefile: 121; ansic: 47; perl: 24
file content (39 lines) | stat: -rw-r--r-- 959 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
Change Test:=testquick.g, date and version in PackageInfo.g

Change ~/Hap/date

Change ~/Hap/version

Run ./updateAll.sh

Fix Undocumented.xml

Run clean in ~/Hap/doc and in ~/Hap/doc/tutorial

git clone https://github.com/gap-packages/hap.git

cp -r pkg/Hap1.30/* hap

rm hap/HowToUpdateHap.txt    THIS SEEMS TO BE IMPORTANT

diff -r pkg/Hap1.30/ hap/

cd hap and then

 git add .
 git commit -m "message"
 git push origin master  [with username grahamknockillaree and passwd MumWon]

 git clone --branch gh-pages  https://github.com/gap-packages/hap.git
 
Rename the gh-pages directory from whatever it is called to gh-pages

Populate gh-pages/doc  gh-pages/tutorial  gh-pages/www with most recent files (xml, html files, etc.)

Make sure you have the latest Release Tools and then from within hap type

../ReleaseTools/release-gap-package --token ghp_whateverthetokenis

For some reason it may be necessary to perform the last command as root.

That's it.