bash: export man, xml dtd pathes