diff options
author | kraai <kraai@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-07-01 11:21:12 +0000 |
---|---|---|
committer | kraai <kraai@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-07-01 11:21:12 +0000 |
commit | c2c771476e2475192fffe9bf41d783778cb6fa3d (patch) | |
tree | 62cc4231d495c35e0c1ba965ecfdf7f1e7e8e8a6 /gcc/ada/gnat_ug.texi | |
parent | 2f57e3d9f1ac57399fab63aed63efe9f8acfdcd5 (diff) | |
download | gcc-c2c771476e2475192fffe9bf41d783778cb6fa3d.tar.gz |
* gnat_ug.texi: Remove unlikely characters from @vars.
* gnat_ug_vms.texi: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@68768 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_ug.texi')
-rw-r--r-- | gcc/ada/gnat_ug.texi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/gnat_ug.texi b/gcc/ada/gnat_ug.texi index 95e9568219c..f631ca6e5c9 100644 --- a/gcc/ada/gnat_ug.texi +++ b/gcc/ada/gnat_ug.texi @@ -4313,7 +4313,7 @@ temporary disabling of validity checks. @findex Style checking @noindent -The -gnaty@var{^x^(option,option,..)^} switch causes the compiler to +The -gnaty^@var{x}^(@var{option},@var{option},..)^ switch causes the compiler to enforce specified style rules. A limited set of style rules has been used in writing the GNAT sources themselves. This switch allows user programs to activate all or some of these checks. If the source program fails a @@ -8197,9 +8197,9 @@ unless @code{^-a^/ALL_FILES^} is also specified. @item @code{gnatmake} has been designed to make the use of Ada libraries particularly convenient. Assume you have an Ada library organized -as follows: @var{^obj-dir^[OBJ_DIR]^} contains the objects and ALI files for +as follows: ^@var{obj-dir}^[@var{OBJ_DIR}]^ contains the objects and ALI files for of your Ada compilation units, -whereas @var{^include-dir^[INCLUDE_DIR]^} contains the +whereas ^@var{include-dir}^[@var{INCLUDE_DIR}]^ contains the specs of these units, but no bodies. Then to compile a unit stored in @code{main.adb}, which uses this Ada library you would just type @@ -8208,8 +8208,8 @@ stored in @code{main.adb}, which uses this Ada library you would just type $ gnatmake -aI@var{include-dir} -aL@var{obj-dir} main @end ifclear @ifset vms -$ gnatmake /SOURCE_SEARCH=@var{[INCLUDE_DIR]} - /SKIP_MISSING=@var{[OBJ_DIR]} main +$ gnatmake /SOURCE_SEARCH=[@var{INCLUDE_DIR}] + /SKIP_MISSING=[@var{OBJ_DIR}] main @end ifset @end smallexample |