Add support for nodoc build profile.

debian/changelog

@@ -12,6 +12,7 @@ dvdisaster (0.79.5-7) UNRELEASED; urgency=medium
     http://dvdisaster.net has been unavailable for a while now.
     Not certain if this is permanent though, as the domain name still
     exists for mail.
+  * Add support for nodoc build profile.
 
  -- Carlos Maddela <e7appew@gmail.com>  Thu, 31 Jan 2019 03:58:19 +1100
 

debian/control

@@ -12,9 +12,9 @@ Build-Depends: debhelper (>= 12),
                libgtk2.0-dev,
                libpng-dev,
                pkg-config
-Build-Depends-Indep: texlive-fonts-recommended,
-                     texlive-latex-base,
-                     texlive-latex-extra
+Build-Depends-Indep: texlive-fonts-recommended <!nodoc>,
+                     texlive-latex-base <!nodoc>,
+                     texlive-latex-extra  <!nodoc>
 Standards-Version: 4.1.4
 Vcs-Browser: https://salsa.debian.org/optical-media-team/dvdisaster
 Vcs-Git: https://salsa.debian.org/optical-media-team/dvdisaster.git
@@ -31,6 +31,7 @@ Description: data loss/scratch/aging protection for CD/DVD media
  used to recover unreadable sectors if the disc becomes damaged at a later time.
 
 Package: dvdisaster-doc
+Build-Profiles: <!nodoc>
 Section: doc
 Architecture: all
 Multi-Arch: foreign

debian/rules

@@ -47,7 +47,9 @@ override_dh_auto_build-arch:
 	dh_auto_build -a -- all
 
 override_dh_auto_build-indep:
-	dh_auto_build -i -- manual
+	dh_auto_build -i \
+		$(if $(findstring nodoc,$(DEB_BUILD_OPTIONS)),--no-act) \
+		-- manual
 
 override_dh_auto_install-arch:
 	dh_auto_install -a -- BUILDROOT=$(BUILDROOT)