# HG changeset patch # User Eli Zaretskii # Date 998333176 0 # Node ID ef5cc490984d56a7ba4d41004b980a362dc89be0 # Parent d8ab01673218fee26533825cd1d277fe00d0f1f5 Fix a few minor markup errors. diff -r d8ab01673218 -r ef5cc490984d man/ada-mode.texi --- a/man/ada-mode.texi Mon Aug 20 17:00:10 2001 +0000 +++ b/man/ada-mode.texi Mon Aug 20 18:46:16 2001 +0000 @@ -475,18 +475,18 @@ sources unless specified otherwise by the user. @item -look for the corresponding .ali file in the @code{obj_dir} defined +look for the corresponding @samp{.ali} file in the @code{obj_dir} defined in the project file. If this file can not be found, emacs proposes to compile the source using the @code{comp_cmd} defined in the project file in order to create the ali file. @item -when cross referencing is requested, the .ali file is parsed to +when cross referencing is requested, the @samp{.ali} file is parsed to determine the file and line of the identifier definition. It is -possible for the .ali file to be older than the source file, in which -case it will be recompiled if the variable @code{ada-xref-create-ali} is -set, otherwise the reference is searched in the obsolete ali file with -possible inaccurate results. +possible for the @samp{.ali} file to be older than the source file, +in which case it will be recompiled if the variable +@code{ada-xref-create-ali} is set, otherwise the reference is searched +in the obsolete ali file with possible inaccurate results. @item look for the file containing the declaration using the source @@ -621,8 +621,8 @@ also be respected. The second method is specific to Ada buffer, and even to users of the -Gnat compiler. Emacs will search the cross-information found in the .ali -files generated by Gnat for possible completions. +Gnat compiler. Emacs will search the cross-information found in the +@samp{.ali} files generated by Gnat for possible completions. The main advantage is that this completion is more accurate: only existing identifier will be suggested, you don't need to have a file @@ -1008,7 +1008,7 @@ environment, and if yes for which target. The default command used for compilation will add this @code{cross_prefix} in front of the name: @code{gcc} will become @code{cross_prefix}-@code{gcc}, @code{gnatmake} -will become @code{cross_prefix}-@code{gnatmake}, ... +will become @code{cross_prefix}-@code{gnatmake}, @enddots{} This will also modify the way your application is run and debugged, although this is not implemented at the moment.