diff options
| author | mimi89999 <michel@lebihan.pl> | 2024-03-23 14:47:49 +0100 |
|---|---|---|
| committer | mimi89999 <michel@lebihan.pl> | 2024-03-23 14:47:49 +0100 |
| commit | e3608533b4e29f44d9c9950623f3eaafdf2ea506 (patch) | |
| tree | 02e8654fd590586f1979ca1927955e7f22e17088 | |
| parent | 296705a244904e6e8540d3768a86a6f1e98f9c4e (diff) | |
Ignore built docs as we already get them from the build dir
| -rw-r--r-- | debian/not-installed | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/not-installed b/debian/not-installed index ebbbfcb..d8d2b46 100644 --- a/debian/not-installed +++ b/debian/not-installed @@ -1,3 +1,5 @@ +usr/share/doc/* +wayland/usr/share/doc/* wayland/usr/include/* wayland/usr/lib/*/cmake/* wayland/usr/lib/*/lib*.so |