diff options
| author | Matt Kraai <kraai@alumni.cmu.edu> | 2003-04-08 06:39:15 +0000 |
|---|---|---|
| committer | Matt Kraai <kraai@gcc.gnu.org> | 2003-04-08 06:39:15 +0000 |
| commit | 7ba4ca6373a1e20445b8df01477c7b5310c6f384 (patch) | |
| tree | d9413b2a79463bc1915960aa8b451abb8e1dc601 /gcc/doc/sourcebuild.texi | |
| parent | f8d4be5756bdb8b65f6efb03ea4988deca9270b9 (diff) | |
| download | gcc-7ba4ca6373a1e20445b8df01477c7b5310c6f384.zip gcc-7ba4ca6373a1e20445b8df01477c7b5310c6f384.tar.gz gcc-7ba4ca6373a1e20445b8df01477c7b5310c6f384.tar.bz2 | |
install.texi: Use @command and @samp for single- and multi-word commands respectively.
* doc/install.texi: Use @command and @samp for single- and
multi-word commands respectively.
* doc/makefile.texi: Likewise.
* doc/sourcebuild.texi: Likewise.
From-SVN: r65364
Diffstat (limited to 'gcc/doc/sourcebuild.texi')
| -rw-r--r-- | gcc/doc/sourcebuild.texi | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi index 31896fcf..6d9d13d 100644 --- a/gcc/doc/sourcebuild.texi +++ b/gcc/doc/sourcebuild.texi @@ -155,7 +155,7 @@ various languages, @file{@var{language}.po}. This directory also contains @file{gcc.pot}, the template for these message catalogues, @file{exgettext}, a wrapper around @command{gettext} to extract the messages from the GCC sources and create @file{gcc.pot}, which is run -by @command{make gcc.pot}, and @file{EXCLUDES}, a list of files from +by @samp{make gcc.pot}, and @file{EXCLUDES}, a list of files from which messages should not be extracted. @item testsuite @@ -278,7 +278,7 @@ needs fixing, @file{syslimits.h} is the fixed copy. The main GCC documentation is in the form of manuals in Texinfo format. These are installed in Info format, and DVI versions may be -generated by @command{make dvi}. In addition, some man pages are +generated by @samp{make dvi}. In addition, some man pages are generated from the Texinfo manuals, there are some other text files with miscellaneous documentation, and runtime libraries have their own documentation outside the @file{gcc} directory. FIXME: document the @@ -312,9 +312,9 @@ The GNU General Public License. A copy of @file{texinfo.tex} known to work with the GCC manuals. @end table -DVI formatted manuals are generated by @command{make dvi}, which uses +DVI formatted manuals are generated by @samp{make dvi}, which uses @command{texi2dvi} (via the Makefile macro @code{$(TEXI2DVI)}). Info -manuals are generated by @command{make info} (which is run as part of +manuals are generated by @samp{make info} (which is run as part of a bootstrap); this generates the manuals in the source directory, using @command{makeinfo} via the Makefile macro @code{$(MAKEINFO)}, and they are included in release distributions. @@ -330,7 +330,7 @@ not themselves the root files of manuals, may have names that appear more than once in the source tree.) The manual file @file{@var{name}.texi} should only include other files in its own directory or in @file{doc/include}. HTML manuals will be generated by -@command{makeinfo --html} and PostScript manuals by @command{texi2dvi} +@samp{makeinfo --html} and PostScript manuals by @command{texi2dvi} and @command{dvips}. All Texinfo files that are parts of manuals must be checked into CVS, even if they are generated files, for the generation of online manuals to work. @@ -544,7 +544,7 @@ Build an @command{etags} @file{TAGS} file in the language subdirectory in the source tree. @item info Build info documentation for the front end, in the source directory. -This target is only called by @command{make bootstrap} if a suitable +This target is only called by @samp{make bootstrap} if a suitable version of @command{makeinfo} is available, so does not need to check for this, and should fail if an error occurs. @item dvi |