X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fautomake.mk;h=74ff5fc22f581cd61f835ad4335b06eedc7cb913;hb=347d48798f40f7e835082338e92eb2e5a21a39a2;hp=a5a6e05a3279477169befc38fe9dd6781b796168;hpb=b828c2f5fa580412f7c3afae03862b9dcce6f576;p=openvswitch

diff --git a/debian/automake.mk b/debian/automake.mk
index a5a6e05a..74ff5fc2 100644
--- a/debian/automake.mk
+++ b/debian/automake.mk
@@ -5,9 +5,6 @@ EXTRA_DIST += \
 	debian/control.modules.in \
 	debian/copyright \
 	debian/copyright.in \
-	debian/corekeeper.cron.daily \
-	debian/corekeeper.init \
-	debian/corekeeper.override \
 	debian/dirs \
 	debian/openvswitch-common.dirs \
 	debian/openvswitch-common.install \
@@ -24,10 +21,9 @@ EXTRA_DIST += \
 	debian/openvswitch-datapath-source.copyright \
 	debian/openvswitch-datapath-source.dirs \
 	debian/openvswitch-datapath-source.install \
-	debian/openvswitch-pki-server.apache2 \
-	debian/openvswitch-pki-server.dirs \
-	debian/openvswitch-pki-server.install \
-	debian/openvswitch-pki-server.postinst \
+	debian/openvswitch-ipsec.dirs \
+	debian/openvswitch-ipsec.init \
+	debian/openvswitch-ipsec.install \
 	debian/openvswitch-pki.postinst \
 	debian/openvswitch-switch.README.Debian \
 	debian/openvswitch-switch.dirs \
@@ -38,17 +34,25 @@ EXTRA_DIST += \
 	debian/openvswitch-switch.postinst \
 	debian/openvswitch-switch.postrm \
 	debian/openvswitch-switch.template \
+	debian/ovsdbmonitor.install \
+	debian/ovsdbmonitor.manpages \
 	debian/ovs-bugtool \
+	debian/ovs-bugtool.8 \
+	debian/ovs-monitor-ipsec \
+	debian/python-openvswitch.dirs \
+	debian/python-openvswitch.install \
 	debian/rules \
-	debian/rules.modules
+	debian/rules.modules \
+	debian/source/format
 
 check-debian-changelog-version:
-	@if $(FGREP) '($(VERSION))' $(srcdir)/debian/changelog >/dev/null; \
-	then								   \
-	  :;								   \
-	else								   \
-	  echo "Update debian/changelog to mention version $(VERSION)";	   \
-	  exit 1;							   \
+	@DEB_VERSION=`echo '$(VERSION)' | sed 's/pre/~pre/'`;		     \
+	if $(FGREP) '($(DEB_VERSION)' $(srcdir)/debian/changelog >/dev/null; \
+	then								     \
+	  :;								     \
+	else								     \
+	  echo "Update debian/changelog to mention version $(VERSION)";	     \
+	  exit 1;							     \
 	fi
 ALL_LOCAL += check-debian-changelog-version
 DIST_HOOKS += check-debian-changelog-version