equal
deleted
inserted
replaced
13 if [ ${PREFIX} = "/usr" ]; then |
13 if [ ${PREFIX} = "/usr" ]; then |
14 MANDIR=${PREFIX}/share/man |
14 MANDIR=${PREFIX}/share/man |
15 else |
15 else |
16 MANDIR=${PREFIX}/man |
16 MANDIR=${PREFIX}/man |
17 fi |
17 fi |
18 DOCS="ChangeLog COPYING NEWS INSTALL README" |
18 DOCS="ChangeLog Configure.Dovecot_2 COPYING INSTALL NEWS README" |
19 |
19 |
20 INSTALL_OPTS="-g 0 -o 0 -p" |
20 INSTALL_OPTS="-g 0 -o 0 -p" |
21 |
21 |
22 if [ $(id -u) -ne 0 ]; then |
22 if [ $(id -u) -ne 0 ]; then |
23 echo "Run this script as root." |
23 echo "Run this script as root." |