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}