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 | |
parent | 6a6ba423c4b3983967f1da338dcc482c4c25048f (diff) |
Install "user version" of docs
-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: |