Update copying, fixup the CSS, and add a menu.
[gnupg-doc.git] / misc /
drwxr-xr-x   ..
drwxr-xr-x - git.gnupg.org