On Mon, Aug 25, 2003 at 09:17:09AM +0200, Maxence Guesdon wrote: > Hi, > > finally, what should I use as extension for the ocamldoc-generated man pages ? > Is .3o ok ? Jerome, could you check what the policy says ? Or maybe i will ask the manpage maintainer about this, or go looking for the policy myself. > Release 3.07 is coming soon, and I'd like to fix this. Ok, i will try to solve this this week still. Friendly, Sven Luther