diff options
| -rw-r--r-- | Doc/ext.tex | 2 | ||||
| -rw-r--r-- | Doc/ext/ext.tex | 2 | ||||
| -rw-r--r-- | Doc/lib.tex | 2 | ||||
| -rw-r--r-- | Doc/lib/lib.tex | 2 | ||||
| -rw-r--r-- | Doc/ref.tex | 2 | ||||
| -rw-r--r-- | Doc/ref/ref.tex | 2 | ||||
| -rw-r--r-- | Doc/tut.tex | 2 | ||||
| -rw-r--r-- | Doc/tut/tut.tex | 2 |
8 files changed, 16 insertions, 0 deletions
diff --git a/Doc/ext.tex b/Doc/ext.tex index f89f436..18c8015 100644 --- a/Doc/ext.tex +++ b/Doc/ext.tex @@ -9,6 +9,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + % Tell \index to actually write the .idx file \makeindex diff --git a/Doc/ext/ext.tex b/Doc/ext/ext.tex index f89f436..18c8015 100644 --- a/Doc/ext/ext.tex +++ b/Doc/ext/ext.tex @@ -9,6 +9,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + % Tell \index to actually write the .idx file \makeindex diff --git a/Doc/lib.tex b/Doc/lib.tex index 86784da..e7ef71e 100644 --- a/Doc/lib.tex +++ b/Doc/lib.tex @@ -12,6 +12,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + % Tell \index to actually write the .idx file \makeindex diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex index 86784da..e7ef71e 100644 --- a/Doc/lib/lib.tex +++ b/Doc/lib/lib.tex @@ -12,6 +12,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + % Tell \index to actually write the .idx file \makeindex diff --git a/Doc/ref.tex b/Doc/ref.tex index 7f679d6..f0cb559 100644 --- a/Doc/ref.tex +++ b/Doc/ref.tex @@ -9,6 +9,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + % Tell \index to actually write the .idx file \makeindex diff --git a/Doc/ref/ref.tex b/Doc/ref/ref.tex index 7f679d6..f0cb559 100644 --- a/Doc/ref/ref.tex +++ b/Doc/ref/ref.tex @@ -9,6 +9,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + % Tell \index to actually write the .idx file \makeindex diff --git a/Doc/tut.tex b/Doc/tut.tex index 42a01a1..6fb209f 100644 --- a/Doc/tut.tex +++ b/Doc/tut.tex @@ -11,6 +11,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + \begin{document} \pagenumbering{roman} diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex index 42a01a1..6fb209f 100644 --- a/Doc/tut/tut.tex +++ b/Doc/tut/tut.tex @@ -11,6 +11,8 @@ E-mail: {\tt guido@cwi.nl} } +\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release! + \begin{document} \pagenumbering{roman} |