diff -ru gnome-user-docs-3.8.2.orig/debian/changelog gnome-user-docs-3.8.2/debian/changelog --- gnome-user-docs-3.8.2.orig/debian/changelog 2013-06-14 23:22:37.000000000 +0200 +++ gnome-user-docs-3.8.2/debian/changelog 2017-06-26 19:57:04.504200806 +0200 @@ -1,3 +1,13 @@ +gnome-user-docs (3.8.2-1ubuntu1) trusty-proposed; urgency=medium + + * debian/rules: + Set NO_PKG_MANGLE so the translations are not stripped. This works + around the fact that the localized gnome-help pages are not + included in the latest (last?) version of the + language-pack-gnome-XX-base packages (LP: #1696418). + + -- Gunnar Hjalmarsson Mon, 26 Jun 2017 19:57:00 +0200 + gnome-user-docs (3.8.2-1) unstable; urgency=low [ Jeremy Bicha ] diff -ru gnome-user-docs-3.8.2.orig/debian/rules gnome-user-docs-3.8.2/debian/rules --- gnome-user-docs-3.8.2.orig/debian/rules 2011-10-12 23:14:24.000000000 +0200 +++ gnome-user-docs-3.8.2/debian/rules 2017-06-26 19:56:41.972997172 +0200 @@ -1,5 +1,8 @@ #!/usr/bin/make -f +# don't strip translated pages +export NO_PKG_MANGLE=1 + include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/gnome.mk include /usr/share/cdbs/1/rules/utils.mk