[SCM] mediagoblin/master: Generate and install info file.

[js at users.alioth.debian.org]

The following commit has been merged in the master branch:
commit 2898b28960d4f4f639f7674f90f44cece1d95f9d
Author: Jonas Smedegaard <dr at jones.dk>
Date:   Mon Aug 21 11:12:53 2017 +0200

    Generate and install info file.

diff --git a/debian/control b/debian/control
index d37bf2c..a64a4cf 100644
--- a/debian/control
+++ b/debian/control
@@ -9,6 +9,7 @@ Build-Depends:
  python3,
  python3-setuptools,
  python3-sphinx,
+ texinfo,
 # testsuite
  python3-nose,
  python3-alembic,
diff --git a/debian/mediagoblin.info b/debian/mediagoblin.info
new file mode 100644
index 0000000..21fd5f5
--- /dev/null
+++ b/debian/mediagoblin.info
@@ -0,0 +1,3 @@
+docs/build/texinfo/goblin.png
+docs/build/texinfo/mediagoblin.info
+docs/build/texinfo/snugglygoblin.png
diff --git a/debian/rules b/debian/rules
index 9eb0341..746fde2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,7 +8,7 @@ export PYBUILD_DISABLE = test
 
 override_dh_auto_build:
 	dh_auto_build
-	$(MAKE) -C docs html
+	$(MAKE) -C docs html info
 
 override_dh_installchangelogs:
 	dh_installchangelogs docs/source/siteadmin/relnotes.rst

-- 
mediagoblin packaging