* src/getargs.h (raw_flag): Remove.

[bison.git] / doc / bison.info-1

diff --git a/doc/bison.info-1 b/doc/bison.info-1
index 9a8c124cd24a8dadefbdca1ab4ccf21c012553a6..37f759cc0204a001614dec9f3d7621d5cd7a86aa 100644 (file)
--- a/doc/bison.info-1
+++ b/doc/bison.info-1
@@ -1,4 +1,5 @@
-This is bison.info, produced by makeinfo version 4.0 from bison.texinfo.
+Ceci est le fichier Info bison.info, produit par Makeinfo version 4.0 à
+partir bison.texinfo.
 
 START-INFO-DIR-ENTRY
 * bison: (bison).      GNU Project parser generator (yacc replacement).