13
9
mkdir debian/xfce4-terminal/usr/share/doc/xfce4-terminal/html/
14
10
mv debian/xfce4-terminal/usr/share/doc/Terminal/* debian/xfce4-terminal/usr/share/doc/xfce4-terminal/html/
15
11
rmdir debian/xfce4-terminal/usr/share/doc/Terminal/
17
12
cd debian/xfce4-terminal/usr/share/man/man1/ && ln -s xfce4-terminal.1 xfce4-terminal.wrapper.1
19
13
rm debian/xfce4-terminal/usr/bin/terminal
20
14
install -c -m 0755 debian/xfce4-terminal.wrapper debian/xfce4-terminal/usr/bin/xfce4-terminal.wrapper
22
15
# .desktop file call to the right binary
23
16
mv debian/xfce4-terminal/usr/share/applications/Terminal.desktop debian/xfce4-terminal/usr/share/applications/xfce4-terminal.desktop
24
17
sed -i 's#Exec=Terminal#Exec=xfce4-terminal#' debian/xfce4-terminal/usr/share/applications/xfce4-terminal.desktop