wxmaxima-git.install


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

infodir=usr/share/info
filelist=(wxmaxima.info.gz)

post_install() {
	for file in ${filelist[@]}; do
		install-info "$infodir/$file" "$infodir/dir" 2> /dev/null
	done
	
	update-desktop-database -q
	update-mime-database usr/share/mime
}

post_upgrade() {
	post_install $1
}

pre_remove() {
	for file in ${filelist[@]}; do
		install-info --delete "$infodir/$file" "$infodir/dir" 2> /dev/null
	done
}

post_remove() {
	update-desktop-database -q
	update-mime-database usr/share/mime
}