diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 1 | 
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 2399b01f..6eb7346c 100755 --- a/debian/rules +++ b/debian/rules @@ -52,6 +52,7 @@ override_dh_clean:  	$(RM) tests/testsuite  	$(RM) -r doc/codec/  	$(RM) -r doc/core/ +	$(RM) -r doc/ctrl/  	$(RM) -r doc/gsm/  	$(RM) -r doc/gb/  	$(RM) -r doc/vty/html/  | 
