> Good idea.. Well, not actually linking them and creating
> files outside /usr/local/coda/, but simply telling
> people that they can call 
> 
> 	man /usr/local/coda/share/man/man1/pagename.1

http://coda.wikidev.net/Quick_Client_Action#Access_Coda_manual_pages

http://coda.wikidev.net/Integrating_source-built_Coda_into_the_system

-doc