summaryrefslogtreecommitdiff
path: root/gcc/ada/gnat_ug.texi
diff options
context:
space:
mode:
authorkraai <kraai@138bc75d-0d04-0410-961f-82ee72b054a4>2003-07-01 11:21:12 +0000
committerkraai <kraai@138bc75d-0d04-0410-961f-82ee72b054a4>2003-07-01 11:21:12 +0000
commitc2c771476e2475192fffe9bf41d783778cb6fa3d (patch)
tree62cc4231d495c35e0c1ba965ecfdf7f1e7e8e8a6 /gcc/ada/gnat_ug.texi
parent2f57e3d9f1ac57399fab63aed63efe9f8acfdcd5 (diff)
downloadgcc-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.texi10
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