By downloading this code you agree to the
Source Code Use License (PDF). |
{ version = 1.02; (* of vr.p 2016 Jan 29}
(* begin module describe.vr *)
(*
name
vr: Determine the version number and file name of a file.
synopsis
vr(input: inout, output: out)
files
input: a program source code, with a version constant in the form
"version = " followed by a real number.
output: the new version number and file name are reported on two lines.
description
This program obtains the version number and file name.
The file is expected to have a line of the form:
version = 1.23 of filename 2005 Jan 26
1.23 corresponds to the version of the file.
filename is the exact name of the file.
The filename is identified as the first word after the 'of'.
examples
Obtain the version number:
vr < vr.p | head -1
Obtain the file name number:
vr < vr.p | tail -1
documentation
see also
ver.p
verbop.p
author
Thomas Schneider
bugs
none known
technical notes
*)
(* end module describe.vr *)
{This manual page was created by makman 1.45}
{created by htmlink 1.62}