Date: Wed, 23 Sep 1998 17:59:13 +0300 (IDT) From: Eli Zaretskii To: "Peter J. Farley III" , Boon van der RJ cc: djgpp AT delorie DOT com Subject: Re: Do we have a "ditroff" equivalent in DJGPP? In-Reply-To: <6uaj4m$7ei$1@star.cs.vu.nl> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Precedence: bulk On 23 Sep 1998, Boon van der RJ wrote: > -Pip2 means to groff: post-process with ip2 Not as far as I know, it doesn't. -Pip2 means to groff: pass the post-processor an argument `ip2' (and groff does not prepend - to the argument when it passes it to the post-processor). Since neither grotty nor grops support such an option, and since there's no - before ip2, I assume that in ditroff that's something entorely different.