index
:
server/purweb
aurweb/maint
aurweb/master
aurweb/pu
purweb/master0
purweb/master1
purweb/master2
purweb/master3
purweb/master4
Unnamed repository; edit this file 'description' to name the repository.
git-mirror
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
upgrading
/
post-checkout
blob: 7ad41cfdf26211a40ff542dd9eed91aa3a946e1c (
plain
)
1
2
3
4
#!/bin/sh ( cd doc/ && make ) ( cd po/ && make && make install )