diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 19:35:33 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2022-01-15 14:18:41 +0100 |
| commit | f46ec9393f413b675030f22c855f53ffa4cb216c (patch) | |
| tree | 4f78fd3d1add8b0ef9fcc7dc5a7067c3ca81c32e /debian/rules | |
| parent | 6a6ba423c4b3983967f1da338dcc482c4c25048f (diff) | |
Install "user version" of docs
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 7e1c8813..05677e07 100755 --- a/debian/rules +++ b/debian/rules @@ -58,7 +58,7 @@ override_dh_auto_build-arch: done override_dh_auto_build-indep: - make -C build doxygen + make -C build/userversion doxygen override_dh_auto_test-indep: |