From 9a518b1eee6a05c3356a8abc2603ab20f17d49a3 Mon Sep 17 00:00:00 2001 From: Bob Lantz Date: Fri, 6 Jul 2012 22:28:27 -0700 Subject: [PATCH] Add missing packaging files from launchpad. --- debian/docs | 1 + debian/examples | 1 + debian/install | 1 + debian/manpages | 1 + debian/watch | 3 +++ 5 files changed, 7 insertions(+) create mode 100644 debian/docs create mode 100644 debian/examples create mode 100644 debian/install create mode 100644 debian/manpages create mode 100644 debian/watch diff --git a/debian/docs b/debian/docs new file mode 100644 index 0000000..e845566 --- /dev/null +++ b/debian/docs @@ -0,0 +1 @@ +README diff --git a/debian/examples b/debian/examples new file mode 100644 index 0000000..e39721e --- /dev/null +++ b/debian/examples @@ -0,0 +1 @@ +examples/* diff --git a/debian/install b/debian/install new file mode 100644 index 0000000..790f822 --- /dev/null +++ b/debian/install @@ -0,0 +1 @@ +mnexec /usr/bin diff --git a/debian/manpages b/debian/manpages new file mode 100644 index 0000000..f7e585b --- /dev/null +++ b/debian/manpages @@ -0,0 +1 @@ +*.1 diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..4614367 --- /dev/null +++ b/debian/watch @@ -0,0 +1,3 @@ +version=3 +opts=dversionmangle=s/\+dfsg// \ +http://githubredir.debian.net/github/mininet/mininet/ mininet-(.*).tar.gz