diff options
| -rw-r--r-- | countrows.h | 3 | ||||
| -rw-r--r-- | doc2h.pl | 8 | ||||
| -rw-r--r-- | float2rat.h | 3 | ||||
| -rw-r--r-- | rat2canon.h | 3 | ||||
| -rw-r--r-- | rat2float.h | 3 | ||||
| -rw-r--r-- | rat2int.h | 3 |
6 files changed, 17 insertions, 6 deletions
diff --git a/countrows.h b/countrows.h index 017b029..6ece766 100644 --- a/countrows.h +++ b/countrows.h @@ -1,4 +1,5 @@ -#define DOCSTRING "\n\ +#define DOCSTRING "inetools 0.10\ +\n\ Reads a polyhedron file on stdin, counts the rows, and outputs an\n\ equivalent file with a corrected row count.\n\ " @@ -1,6 +1,12 @@ #/usr/bin/env perl -print '#define DOCSTRING "'; +use File::Slurp; + +my $version = read_file('version.txt'); + +chomp($version); + +printf "#define DOCSTRING \"inetools %s\\\n", $version; while(<>){ s|\"|\\"|g; s|\n|\\n\\\n|g; diff --git a/float2rat.h b/float2rat.h index 4266c60..cf60794 100644 --- a/float2rat.h +++ b/float2rat.h @@ -1,4 +1,5 @@ -#define DOCSTRING "\n\ +#define DOCSTRING "inetools 0.10\ +\n\ Converts floating point coefficent $f$ to rational by the\n\ simple expedient of outputing 10^k*f/10^k for appropriate\n\ $k$. Does no reduction of numbers. In particular this may cause overflow in\n\ diff --git a/rat2canon.h b/rat2canon.h index 27d27c4..32320fd 100644 --- a/rat2canon.h +++ b/rat2canon.h @@ -1,4 +1,5 @@ -#define DOCSTRING "\n\ +#define DOCSTRING "inetools 0.10\ +\n\ rat2canon takes a polytope file with rational or integer coefficents, \n\ and outputs an equivelent one with normalized right hand side.\n\ " diff --git a/rat2float.h b/rat2float.h index 7fd3c34..5b120e5 100644 --- a/rat2float.h +++ b/rat2float.h @@ -1,4 +1,5 @@ -#define DOCSTRING "\n\ +#define DOCSTRING "inetools 0.10\ +\n\ rat2float takes a polytope file with rational or integer coefficents,\n\ and outputs an approximately equivelent one with floating point\n\ coefficents.\n\ @@ -1,4 +1,5 @@ -#define DOCSTRING "\n\ +#define DOCSTRING "inetools 0.10\ +\n\ rat2canon takes a polytope file with rational or integer coefficents,\n\ and outputs an equivelent one with normalized right hand side.\n\ " |