[Vampire-public] FYI: GPL

[Akim Demaille]

What is the status of the rest of the documentation files (e.g.,
user-doc)?

Index: ChangeLog
from  Akim Demaille  <address@hidden>

        * doc/texinfo/vampire.texinfo (Wrappers usage): Move the GPL as an
        appendix.
        Fix a couple of typos.

Index: doc/texinfo/vampire.texinfo
===================================================================
RCS file: /cvsroot/vampire/vampire/doc/texinfo/vampire.texinfo,v
retrieving revision 1.14
diff -u -u -r1.14 vampire.texinfo
--- doc/texinfo/vampire.texinfo 26 Sep 2003 18:57:06 -0000 1.14
+++ doc/texinfo/vampire.texinfo 1 Oct 2003 10:44:25 -0000
@@ -75,9 +75,6 @@
 
 @menu
 * Introduction::
-* Conditions::
-* Copying::           The @acronym{GNU} General Public License says
-                        how you can copy and share Bison
 
 * Invocation::                     How to run Vampire.
 * Configuration::                  How to configure Vampire.
@@ -87,6 +84,9 @@
 
 * Vampire's wrappers::             Using and making wrappers.
 * Shell completions for Vampire::  Your shell can help you.
+* Conditions::
+* Copying::             The @acronym{GNU} General Public License says
+                        how you can copy and share Vampire
 * Copying This Manual::            License for copying this manual.
 * Index::                          Cross-references to the text.
 
@@ -96,11 +96,11 @@
 @unnumbered Introduction
 @cindex introduction
 
-Vampire is a program which test a tarball on a network. It takes an
-Autotools generated tarball, uploads it on several machines,
-configures it, runs a check sequence (usually @code{make distcheck})
-and returns the results.  It is designed to be flexible enough to run
-checks on differents systems and environments.
+Vampire is a program that tests a tarball on a network. It takes a
+tarball (typically built using the GNU Build System), uploads it on
+several machines, configures it, runs a check sequence (usually
address@hidden distcheck}) and returns the results.  It is designed to be
+flexible enough to run checks on differents systems and environments.
 
 @c FIXME: guide lines of the document
 
@@ -112,15 +112,6 @@
 
 This edition corresponds to version @value{VERSION} of Vampire.
 
address@hidden Conditions
address@hidden Conditions for Using Vampire
-
address@hidden FIXME: Conditions for Using Vampire
-
address@hidden Copying: The GNU General Public License
address@hidden gpl.texi
-
-
 
 @node Invocation
 @chapter Invoking Vampire
@@ -482,6 +473,15 @@
 @appendixsec Zsh completion
 
 @c FIXME: Zsh completion
+
+
address@hidden Conditions
address@hidden Conditions for Using Vampire
+
address@hidden FIXME: Conditions for Using Vampire
+
address@hidden Copying: The GNU General Public License
address@hidden gpl.texi
 
 
 @node Copying This Manual