]> err.no Git - dpkg/commitdiff
projects / dpkg / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: eb9cd81)
generate man/paths.ent
authorWichert Akkerman <wakkerma@debian.org>
Sun, 5 May 2002 15:46:25 +0000 (15:46 +0000)
committerWichert Akkerman <wakkerma@debian.org>
Sun, 5 May 2002 15:46:25 +0000 (15:46 +0000)
configure.in patch | blob | history

diff --git a/configure.in b/configure.in
index 5f8fa0ffae8e0a23eacff75b21a58cf7b9f6a9a1..d165f4c2ab9f6d639d9dfcb2c5919533d1a27ade 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -252,6 +252,7 @@ lib/Makefile
 optlib/Makefile
 doc/Makefile
 man/Makefile
+man/paths.ent
 man/de/Makefile
 man/en/Makefile
 man/fr/Makefile
dpkg, the Debian package manager