usr/share/doc/coqide
usr/share/applnk/Development
usr/share/man/man1