~ubuntu-branches/ubuntu/saucy/dejagnu/saucy

« back to all changes in this revision

Viewing changes to debian/postinst

  • Committer: Bazaar Package Importer
  • Author(s): Daniel Jacobowitz
  • Date: 2004-02-09 15:07:58 UTC
  • Revision ID: james.westby@ubuntu.com-20040209150758-9tpwlp0ebis3kvzx
Tags: 1.4.4-1
* New upstream release.
* Terrible hacks to not delete files (HTML docs mostly) we can't rebuild.
  This is being fixed in CVS.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
#! /bin/sh
 
2
 
 
3
set -e
 
4
 
 
5
 
 
6
if [ "$1" = "configure" ]; then
 
7
##    install-info --quiet --section "Development" "Development" \
 
8
##      /usr/share/info/dejagnu.info.gz
 
9
    if command -v install-docs > /dev/null 2>&1; then
 
10
        install-docs -i /usr/share/doc-base/dejagnu
 
11
    fi
 
12
fi
 
13
 
 
14
echo "Edit the master configuration file, /etc/dejagnu/site.exp, if needed"