The following commit has been merged in the master branch:
commit 8326835a53823046e72f1ac7c60e92a92ea0402a
Author: Raphaël Hertzog <[email protected]>
Date: Sun Sep 13 15:28:32 2009 +0200
Add deb-extra-override(5) to dpkg-dev
Its addition has been forgotten in
22049e15c9b844f3ebef480dfebc588fbd5a301e.
diff --git a/debian/dpkg-dev.install b/debian/dpkg-dev.install
index 1e2c639..8608235 100644
--- a/debian/dpkg-dev.install
+++ b/debian/dpkg-dev.install
@@ -21,6 +21,7 @@ usr/share/man/{*/*,*}/deb-control.5
usr/share/man/{*/*,*}/deb-version.5
usr/share/man/{*/*,*}/deb-substvars.5
usr/share/man/{*/*,*}/deb-override.5
+usr/share/man/{*/*,*}/deb-extra-override.5
usr/share/man/{*/*,*}/deb-shlibs.5
usr/share/man/{*/*,*}/deb-symbols.5
usr/share/man/{*/*,*}/deb-triggers.5
--
dpkg's main repository
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
