diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-08 23:34:02 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-08 23:52:37 +0100 |
commit | cf0106d9a7c7be338390f5c1351b7db61167b481 (patch) | |
tree | 46dd9678a8c9db2a19b171e3051f08439a983780 /debian/clean | |
parent | 66162b228ecb088ee988f7221238dee9d482b4a6 (diff) |
Use debian/clean instead of override_dh_auto_clean.
Diffstat (limited to 'debian/clean')
-rw-r--r-- | debian/clean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean new file mode 100644 index 00000000..1258531f --- /dev/null +++ b/debian/clean @@ -0,0 +1,2 @@ +GUDHIVersion.cmake +doc/html/ |