rename create_gpg_pub_file to be update_gpg_pub_file, and add it to
[monkeysphere.git] / man / man8 /
drwxr-xr-x   ..
-rw-r--r-- 6245 monkeysphere-authentication.8
-rw-r--r-- 4214 monkeysphere-host.8