Changeset 4227 for trunk/scripts/debian/postinst
- Timestamp:
- 04/25/08 16:48:48 (7 months ago)
- Files:
-
- 1 modified
-
trunk/scripts/debian/postinst (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/debian/postinst
r4220 r4227 1 #!/bin/ bash1 #!/bin/sh 2 2 3 3 ## ================================================================ … … 16 16 echo "Installing and registering Logtalk online documentation..." 17 17 18 if [ "$1" = configure ]; then19 if which install-docs > /dev/null 2>&1; then18 if [ "$1" = "configure" ] ; then 19 if which install-docs > /dev/null 2>&1 ; then 20 20 install-docs -i /usr/share/doc-base/logtalk-docs 21 21 fi … … 26 26 echo "Adding menu entries for some of the Logtalk integration scripts..." 27 27 28 if test -x /usr/bin/update-menus; then28 if [ -x /usr/bin/update-menus ] ; then 29 29 update-menus 30 30 fi
