summarylogtreecommitdiffstats
path: root/metamath.install
blob: bf9d493ce96030c26c424782f60793ca6bb9fca7 (plain)
1
2
3
4
5
6
7
8
post_install() {
	echo ">>> Further info:"
	echo "    http://us.metamath.org/"
}

post_upgrade() {
	post_install
}