[go: up one dir, main page]

File: postinst

package info (click to toggle)
libgmp2 2.0.2-10
  • links: PTS
  • area: main
  • in suites: woody
  • size: 2,904 kB
  • ctags: 1,916
  • sloc: ansic: 18,659; asm: 8,720; sh: 1,760; makefile: 829
file content (12 lines) | stat: -rw-r--r-- 419 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
#!/bin/sh
if [ "$1" = "configure" ]; then
 if [ -d /usr/doc -a ! -e /usr/doc/libgmp2 -a -d /usr/share/doc/libgmp2 ]; then
  ln -sf ../share/doc/libgmp2 /usr/doc/libgmp2
 fi
# if [ -d /usr/info -a ! -e /usr/info/gmp2.info -a -d /usr/share/info ]; then
#  ln -sf ../share/info/gmp2.info.gz /usr/info/gmp2.info.gz
# fi
set -e
install-info --section Development Development --quiet /usr/share/info/gmp2.info.gz
ldconfig
fi