Bug#940479: pocketsphinx: please add a -doc package

[Gianfranco Costamagna]

Source: pocketsphinx
Version: 0.8+5prealpha+1-5
Tags: patch

It would be nice to have a split doc package, like Ubuntu does, to have a less heavy package.

Patch following:
diff -Nru pocketsphinx-0.8+5prealpha+1/debian/control pocketsphinx-0.8.0+real5prealpha+1/debian/control
--- pocketsphinx-0.8+5prealpha+1/debian/control 2019-08-10 14:32:55.000000000 +0200
+++ pocketsphinx-0.8.0+real5prealpha+1/debian/control   2016-02-09 16:26:30.000000000 +0100
@@ -17,13 +17,24 @@
 Package: pocketsphinx
 Architecture: any
 Multi-Arch: foreign
-Depends: ${shlibs:Depends}, ${misc:Depends}, libjs-jquery
+Depends: ${shlibs:Depends}, ${misc:Depends}
 Description: Speech recognition tool
  CMU Sphinx is a large vocabulary, speaker-independent continuous speech
  recognition engine.
  .
  This package contains end-user speech recognition tools.

+Package: pocketsphinx-doc
+Architecture: all
+Section: doc
+Depends: ${misc:Depends}, libjs-jquery
+Replaces: pocketsphinx
+Description: Speech recognition tool (documentation)
+ CMU Sphinx is a large vocabulary, speaker-independent continuous speech
+ recognition engine.
+ .
+ This package contains the documentation.
+
 Package: gstreamer1.0-pocketsphinx
 Architecture: any
 Multi-Arch: same
diff -Nru pocketsphinx-0.8+5prealpha+1/debian/docs pocketsphinx-0.8.0+real5prealpha+1/debian/docs
--- pocketsphinx-0.8+5prealpha+1/debian/docs    2019-07-25 21:37:43.000000000 +0200
+++ pocketsphinx-0.8.0+real5prealpha+1/debian/docs      1970-01-01 01:00:00.000000000 +0100
@@ -1,3 +0,0 @@
-AUTHORS
-NEWS
-build-python3*/doc/html
diff -Nru pocketsphinx-0.8+5prealpha+1/debian/pocketsphinx-doc.docs pocketsphinx-0.8.0+real5prealpha+1/debian/pocketsphinx-doc.docs
--- pocketsphinx-0.8+5prealpha+1/debian/pocketsphinx-doc.docs   1970-01-01 01:00:00.000000000 +0100
+++ pocketsphinx-0.8.0+real5prealpha+1/debian/pocketsphinx-doc.docs     2016-02-09 16:26:30.000000000 +0100
@@ -0,0 +1,3 @@
+AUTHORS
+NEWS
+build-python3*/doc/html
diff -Nru pocketsphinx-0.8+5prealpha+1/debian/pocketsphinx-doc.links pocketsphinx-0.8.0+real5prealpha+1/debian/pocketsphinx-doc.links
--- pocketsphinx-0.8+5prealpha+1/debian/pocketsphinx-doc.links  1970-01-01 01:00:00.000000000 +0100
+++ pocketsphinx-0.8.0+real5prealpha+1/debian/pocketsphinx-doc.links    2016-02-09 16:26:30.000000000 +0100
@@ -0,0 +1 @@
+/usr/share/javascript/jquery/jquery.js /usr/share/doc/pocketsphinx-doc/html/jquery.js
diff -Nru pocketsphinx-0.8+5prealpha+1/debian/pocketsphinx.links pocketsphinx-0.8.0+real5prealpha+1/debian/pocketsphinx.links
--- pocketsphinx-0.8+5prealpha+1/debian/pocketsphinx.links      2019-07-25 21:37:43.000000000 +0200
+++ pocketsphinx-0.8.0+real5prealpha+1/debian/pocketsphinx.links        1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-/usr/share/javascript/jquery/jquery.js /usr/share/doc/pocketsphinx/html/jquery.js
diff -Nru pocketsphinx-0.8+5prealpha+1/debian/rules pocketsphinx-0.8.0+real5prealpha+1/debian/rules
--- pocketsphinx-0.8+5prealpha+1/debian/rules   2019-08-10 14:29:48.000000000 +0200
+++ pocketsphinx-0.8.0+real5prealpha+1/debian/rules     2016-02-09 16:26:30.000000000 +0100
@@ -38,6 +38,14 @@
                rm $$file ; \
        done

+override_dh_installdocs:
+       dh_installdocs
+       if [ -d debian/pocketsphinx-doc/usr/share/doc/pocketsphinx-doc ]; then \
+               mkdir -p debian/pocketsphinx-doc/usr/share/doc/pocketsphinx; \
+               mv debian/pocketsphinx-doc/usr/share/doc/pocketsphinx-doc/html debian/pocketsphinx-doc/usr/share/doc/pocketsphinx/; \
+               ln -sf ../pocketsphinx/html debian/pocketsphinx-doc/usr/share/doc/pocketsphinx-doc/html; \
+       fi
+
 override_dh_shlibdeps:
        dh_shlibdeps
        LD_LIBRARY_PATH=debian/libpocketsphinx3/usr/lib/$(DEB_HOST_MULTIARCH):$(LD_LIBRARY_PATH) \


You might also want to break/replaces the current pocketsphinx package in case you apply this patch

thanks for considering it

Gianfranco