/share/man/

• ../
• Makefile
• gnome-shell-extensions-extra.7.rst
• man.in