K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2014-02-13T22:44:03.502244Z
K 7
svn:log
V 163
- Comment out DOCS related stuff, it doesn't create or add anything to DOCSDIR
- Do not try to remove a directory belonging to gnomehier

Reported by:	pkg-fallout

END