Update build process to use COQPATH & _CoqProject

Removed all of the files not built by default; they can be resurrected from git
history.  _CoqProject is the standard way to list the files in a project and to
give information to coq_makefile.  COQPATH is the standard way to make use of
not-yet-installed libraries that are not part of your project (i.e., you don't
want to remove them when you `make clean`, etc.).

1 files changed, 0 insertions, 20 deletions

diff --git a/coqprime/gencertif/README b/coqprime/gencertif/README
deleted file mode 100644
index a34915eea..000000000
--- a/coqprime/gencertif/README
+++ /dev/null
@@ -1,20 +0,0 @@
-pocklington [-v] [-o file] numspec 
-
-options are:
-	-v : verbose mode
-        -o file : set the output in file "file"
-
-numspec:
-	* directly a prime number.
-	* -next num : generate certificate for the next prime number following
-             num.
-        * -size s : generate certificate for a prime number with a least s
-	     digits (in base 10).
-        * -proth k n : generate certificate for the Proth number : k*2^n + 1.
-        * -lucas n : generate certificate for the Mersenne number 2^n - 1
-	     using Lucas test (more efficiant).
-        * -mersenne n : generate certificate for the Mersenne number 2^n - 1
-	     using Pocklington,
-        * -dec file : generate certificate for the number given in file,
-	     the file should also contain a partial factorization of the
-	     predecessor.