comment faire le .deb

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2362 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 13 insertions, 0 deletions

diff --git a/distrib/RELEASE b/distrib/RELEASE
index adbdebbaa..819fcb93c 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -24,6 +24,8 @@ A1) VÉRIFICATIONS
   - Changement des variables en tête du fichier "configure" et
     vérification du numéro de versions de OCaml et Camlp4 demandées
   - Mise à jour des champs Version, Source et Require dans RH/coq.spec.tpl
+  - Mise à jour des dépendances dans debian/control. Ajouter une référence
+    à la version et un "* New upstream version" dans debian/changelog.
   - Relecture des fichiers "README", "README.win", en particulier,
     vérification du numéro de version, des adresses internet et des
     coordonnées de Coq
@@ -129,6 +131,17 @@ A5c) Création d'un second package rpm à partir des sources rpm
 
   Pour l'installation sous ftp voir A7.
 
+A5d) Création du package debian
+
+  Faire un
+
+     make deb
+
+  pour faire paquets source et binaire sur une machine debian
+  (pc8-118.lri.fr par exemple). Pas la peine d'essayer de créer le
+  binaire sur toutes les architectures : ce sera fait par les machines
+  de Debian dès que le paquet source leur sera fourni.
+
 A6) CREATION DU FICHIER DE PATCH (attention ne marche pas sur DEC je crois)
 
     make patch (pas déboggué)