Olaf Meeuwissen 14c2a93baf Allow for non-existent directories when pruning documentation ... Fixes build error.		2017-10-22 16:26:50 +09:00
..
tweak-apt-config	Add a "slim" variant. Fixes #2	2017-10-22 16:05:44 +09:00
tweak-dpkg-config	Allow for non-existent directories when pruning documentation	2017-10-22 16:26:50 +09:00