diff options
| author | Wichert Akkerman <wakkerma@debian.org> | 1999-12-16 23:43:40 +0000 |
|---|---|---|
| committer | Wichert Akkerman <wakkerma@debian.org> | 1999-12-16 23:43:40 +0000 |
| commit | da7f9947d8b8bf8a934febd5240c25860f042ae2 (patch) | |
| tree | 78e02cbf4ff8a12478db76350a4174ba266fcb2f /scripts | |
| parent | dc410dca4cb9409214f83393221854d61d780a90 (diff) | |
| download | dpkg-da7f9947d8b8bf8a934febd5240c25860f042ae2.tar.gz | |
Makefile.conf.in: use @libdir@ and @admindir@
configure.in: add --with-admindir option and change the default to $libdir/db
debian/rules: add --with-admindir=/var/lib/dpkg
scripts/debian-changelog-mode.el: update location of GPL
scripts/dpkg-name.sh: update location of GPL
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/debian-changelog-mode.el | 2 | ||||
| -rwxr-xr-x | scripts/dpkg-name.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/debian-changelog-mode.el b/scripts/debian-changelog-mode.el index d6b9fb382..9a73eeb40 100644 --- a/scripts/debian-changelog-mode.el +++ b/scripts/debian-changelog-mode.el @@ -17,7 +17,7 @@ ;; GNU General Public License for more details. ;; ;; You should have received a copy of the GNU General Public License -;; along with your Debian installation, in /usr/doc/copyright/GPL. +;; along with your Debian installation, in /usr/share/common-licenses/GPL. ;; If not, write to the Free Software Foundation, 675 Mass Ave, ;; Cambridge, MA 02139, USA. diff --git a/scripts/dpkg-name.sh b/scripts/dpkg-name.sh index fc4c2371a..ac6aec8e2 100755 --- a/scripts/dpkg-name.sh +++ b/scripts/dpkg-name.sh @@ -19,7 +19,7 @@ echo "# ${prog} ${version} -- ${purpose} # This is distributed in the hope that it will be useful, but # WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the file -# /usr/doc/copyright/GPL for more details." +# /usr/share/common-licenses/GPL for more details." } stderr () { |