This bug was fixed in the package gnome-user-docs - 3.28.0+git20180331-0ubuntu1
--------------- gnome-user-docs (3.28.0+git20180331-0ubuntu1) bionic; urgency=medium
* Latest upstream git (LP: #1682548, LP: #1730900) * debian/rules: - Drop sed() command for controlling the HTML build (moved to build script in the ubuntu-docs branch).
-- Gunnar Hjalmarsson <email address hidden> Sun, 01 Apr 2018 23:25:00 +0200
This bug was fixed in the package gnome-user-docs - 3.28.0+ git20180331- 0ubuntu1
--------------- git20180331- 0ubuntu1) bionic; urgency=medium
gnome-user-docs (3.28.0+
* Latest upstream git (LP: #1682548, LP: #1730900)
* debian/rules:
- Drop sed() command for controlling the HTML build (moved to build
script in the ubuntu-docs branch).
-- Gunnar Hjalmarsson <email address hidden> Sun, 01 Apr 2018 23:25:00 +0200