rework doc

- drop linux-doc
- always build tools with docs

debian/README.source

@@ -227,7 +227,6 @@ Build profiles
 
 Several build profiles are understood and supported:
 
-- nodoc: Exclude most documentation
 - pkg.linux.notools: Exclude userland tool packages (linux-kbuild-<version>,
   linux-perf, etc.)
 - pkg.linux.mintools: Build minimal set of userland tool packages
@@ -262,5 +261,4 @@ All builds *must* be done out-of-tree in a subdirectory of
 debian/build, so that the output files do not end up in the
 linux-source-<version> binary package.  Currently kernel builds use
 debian/build/build_<arch>_<featureset>_<flavour>, userland code uses
-debian/build/build-tools/<source-dir> and documentation uses
-debian/build/build-doc.
+debian/build/build-tools/<source-dir>.