From 2472a05e7f9fdbc6427a43cdee418a04320efc9c Mon Sep 17 00:00:00 2001
From: courant
Date: Fri, 21 Dec 2001 14:16:04 +0000
Subject: comment faire le .deb

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2362 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RELEASE | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/distrib/RELEASE b/distrib/RELEASE
index adbdebbaa5..819fcb93c1 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -24,6 +24,8 @@ A1) V
   - 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
 
   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é)
-- 
cgit v1.2.3