diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2022-05-11 17:45:49 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2022-05-11 17:45:49 +0200 |
| commit | 09f0342ff2a56f8ce8fb9a96648d370f9e21dd01 (patch) | |
| tree | d6f8c469300d291cc1ddb0230a13462298cdc813 | |
| parent | bed5d00b5c6f70ae80d180ef162316e3bafb0ad0 (diff) | |
Build examples for arch:any packages again after nodoc branch
Who does arch:any builds, right?
Ignoring for changelog as this would just confuse readers as the
effected version was never released.
Regression-of: cd92098caa64b7fd30cdc6b5d56bf7e9e17a449e
Gbp-Dch: Ignore
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index e7cbdc732..56b4a98d0 100755 --- a/debian/rules +++ b/debian/rules @@ -45,14 +45,14 @@ override_dh_installsystemd: dh_installsystemd --remaining-packages ifneq ($(filter pkg.apt.nodoxygen,$(DEB_BUILD_PROFILES)),) -override_dh_auto_configure-arch: configure_doc_flags=-DWITH_DOC=OFF -DWITH_DOC_MANPAGES=ON +override_dh_auto_configure-arch: configure_doc_flags=-DWITH_DOC=OFF -DWITH_DOC_MANPAGES=ON -DWITH_DOC_EXAMPLES=ON override_dh_auto_configure-indep: configure_doc_flags=-DWITH_DOC=OFF -DWITH_DOC_GUIDES=ON -DWITH_DOC_EXAMPLES=ON else ifneq ($(filter nodoc,$(DEB_BUILD_PROFILES)),) override_dh_auto_configure-arch: configure_doc_flags=-DWITH_DOC=OFF override_dh_auto_configure-indep: configure_doc_flags=-DWITH_DOC=OFF else -override_dh_auto_configure-arch: configure_doc_flags=-DWITH_DOC=OFF -DWITH_DOC_MANPAGES=ON +override_dh_auto_configure-arch: configure_doc_flags=-DWITH_DOC=OFF -DWITH_DOC_MANPAGES=ON -DWITH_DOC_EXAMPLES=ON override_dh_auto_configure-indep: configure_doc_flags=-DWITH_DOC=ON endif endif |