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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
