debian/docs_dir/*
