style: formatting changes in the doc

* doc/bison.texi: Use @file where appropriate.

diff --git a/doc/bison.texi b/doc/bison.texi
index 328b88bc2776b7fa5f84dff174e4a90500c86cb9..5b1b0de4c2d089ec338789500ab01e91e8501982 100644 (file)
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -5396,7 +5396,7 @@ For instance with @samp{%define api.prefix "calc"} and @samp{%defines
 @end deffn
 
 @deffn {Directive} %defines @var{defines-file}
-Same as above, but save in the file @var{defines-file}.
+Same as above, but save in the file @file{@var{defines-file}}.
 @end deffn
 
 @deffn {Directive} %destructor
@@ -5459,7 +5459,7 @@ own right.
 @end deffn
 
 @deffn {Directive} %output "@var{file}"
-Specify @var{file} for the parser implementation file.
+Generate the parser implementation in @file{@var{file}}.
 @end deffn
 
 @deffn {Directive} %pure-parser