Mail Archives: djgpp-workers/2003/12/15/17:09:12
--part1_15d.29de6b17.2d0f8afe_boundary
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
In a message dated 12/15/2003 4:10:35 PM Eastern Standard Time,
rich AT phekda DOT freeserve DOT co DOT uk writes:
> KB Williams wrote:
> [snip]
> >It is a shame that mkdoc fails to have a --ver option to tell us
> >its version number.
>
> Do any of the DJGPP utilities have a version number?
>
> If we add -v or --version options to mkdoc, we should do it for the others
> too, for consistency.
>
No question there.
--part1_15d.29de6b17.2d0f8afe_boundary
Content-Type: text/html; charset="US-ASCII"
Content-Transfer-Encoding: quoted-printable
<HTML><FONT FACE=3Darial,helvetica><HTML><FONT SIZE=3D3 PTSIZE=3D12 FAMILY=
=3D"SERIF" FACE=3D"Georgia" LANG=3D"0">In a message dated 12/15/2003 4:10:35=
PM Eastern Standard Time, rich AT phekda DOT freeserve DOT co DOT uk writes:<BR>
<BR>
<BLOCKQUOTE TYPE=3DCITE style=3D"BORDER-LEFT: #0000ff 2px solid; MARGIN-LEFT=
: 5px; MARGIN-RIGHT: 0px; PADDING-LEFT: 5px"></FONT><FONT COLOR=3D"#000000"=
BACK=3D"#ffffff" style=3D"BACKGROUND-COLOR: #ffffff" SIZE=3D2 PTSIZE=3D10 F=
AMILY=3D"SANSSERIF" FACE=3D"Arial" LANG=3D"0">KB Williams wrote:<BR>
[snip]<BR>
>It is a shame that mkdoc fails to have a --ver option to tell us<BR>
>its version number.<BR>
<BR>
Do any of the DJGPP utilities have a version number?<BR>
<BR>
If we add -v or --version options to mkdoc, we should do it for the others<B=
R>
too, for consistency.<BR>
</BLOCKQUOTE><BR>
</FONT><FONT COLOR=3D"#000000" BACK=3D"#ffffff" style=3D"BACKGROUND-COLOR:=20=
#ffffff" SIZE=3D3 PTSIZE=3D12 FAMILY=3D"SERIF" FACE=3D"Georgia" LANG=3D"0"><=
BR>
No question there.</FONT></HTML>
--part1_15d.29de6b17.2d0f8afe_boundary--
- Raw text -