]> git.saurik.com Git - bison.git/commitdiff
maint: fix spello.
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 8 Jun 2012 07:00:58 +0000 (09:00 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 12 Jun 2012 12:49:48 +0000 (14:49 +0200)
* README-hacking: Here.
* THANKS: Reported by Gilles Espinasse.

README-hacking
THANKS

index cfb4b31207f50da2b07d8374a560a5517ca758a9..5fab96c1e66a3949bb65f4dc827be3579bf4f8b4 100644 (file)
@@ -272,7 +272,7 @@ where F125BDF3 should be replaced with your key ID.
 *** Using gnupload
 You need "ncftp".
 
-At the end "make stable" (or alpha/beta) will display the prodecure to
+At the end "make stable" (or alpha/beta) will display the procedure to
 run.  Just copy and paste it in your shell.
 
 *** By hand
diff --git a/THANKS b/THANKS
index e3bf221b365c6c6d388a19b666cc5c70a432b728..284c5a9131e75265505678b8f83977eb99928934 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -43,6 +43,7 @@ Frank Heckenbach          frank@g-n-u.de
 Frans Englich             frans.englich@telia.com
 Georg Sauthoff            gsauthof@TechFak.Uni-Bielefeld.DE
 George Neuner             gneuner2@comcast.net
+Gilles Espinasse          g.esp@free.fr
 Goran Uddeborg            goeran@uddeborg.se
 Guido Trentalancia        trentalg@aston.ac.uk
 H. Merijn Brand           h.m.brand@hccnet.nl