+# remove /usr/share/doc, /usr/share/info,... only in class REMOVE_DOCS:
+# (important: remove them *after* deinstalling packages, otherwise
+# removing packages might fail due to lack of /usr/share/man/...)
+if ifclass REMOVE_DOCS ; then
+ cp /etc/grml/fai/grml/grml_cleanup_chroot.remove_docs $target/root/
+ $ROOTCMD /root/grml_cleanup_chroot.remove_docs
+ rm $target/root/grml_cleanup_chroot.remove_docs
+fi