gnome.gnome-shell: switch to non-full asciidoc

The full variant does not seem to be actually needed,
allowing us to prune Java from the build closure.

In fact, the AsciiDoc/a2x tool is not actually used
at all when building from tarball because it contains
a pre-generated copy of the manual page.

Let’s remove the pregenerated file so that building
from tarball is more consistent with the VCS build
(e.g. when testing new versions or patches).

pkgs/desktops/gnome/core/gnome-shell/default.nix

@@ -55,7 +55,7 @@
 , gnome-clocks
 , gnome-settings-daemon
 , gnome-autoar
-, asciidoc-full
+, asciidoc
 , bash-completion
 , mesa
 }:
@@ -119,7 +119,7 @@ stdenv.mkDerivation rec {
     desktop-file-utils
     libxslt.bin
     python3
-    asciidoc-full
+    asciidoc
   ];
 
   buildInputs = [
@@ -180,6 +180,9 @@ stdenv.mkDerivation rec {
     chmod +x meson/postinstall.py
     patchShebangs meson/postinstall.py
 
+    # We can generate it ourselves.
+    rm -f man/gnome-shell.1
+
     substituteInPlace src/gnome-shell-extension-tool.in --replace "@PYTHON@" "${pythonEnv}/bin/python"
     substituteInPlace src/gnome-shell-perf-tool.in --replace "@PYTHON@" "${pythonEnv}/bin/python"
   '';