From 630ba2fd94b7ceffa43d461020587750c47bf2aa Mon Sep 17 00:00:00 2001 From: Segher Boessenkool Date: Wed, 7 Nov 2018 19:17:29 +0100 Subject: doc: Use @: where needed When an abbreviation ends with a dot followed by whitespace, Texinfo thinks the dot ends a sentence, and applies spacing rules etc. based on that. To prevent this, there is the @: macro. This patch puts @: after every vs., e.g., and i.e. where it is needed. In a few cases there was "@ " already, or "@\n", but @: is slightly better, and more consistent. * target.def: Put @: after every vs., e.g., and i.e. where it is followed by whitespace. * doc/extend.texi: Ditto. * doc/fragments.texi: Ditto. * doc/gimple.texi: Ditto. * doc/implement-c.texi: Ditto. * doc/install.texi: Ditto. * doc/invoke.texi: Ditto. * doc/md.texi: Ditto. * doc/plugins.texi: Ditto. * doc/rtl.texi: Ditto. * doc/sourcebuild.texi: Ditto. * doc/tm.texi.in: Ditto. * doc/ux.texi: Ditto. * doc/tm.texi: Regenerate. From-SVN: r265882 --- gcc/doc/plugins.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/doc/plugins.texi') diff --git a/gcc/doc/plugins.texi b/gcc/doc/plugins.texi index 1eb9a7b..51c88af 100644 --- a/gcc/doc/plugins.texi +++ b/gcc/doc/plugins.texi @@ -331,7 +331,7 @@ used to tell if an object is marked, or is about to be collected. The @code{gt_clear_cache} overloads which some types define may also be of use in managing weak references. -Some plugins may need to add extra GGC root tables, e.g. to handle their own +Some plugins may need to add extra GGC root tables, e.g.@: to handle their own @code{GTY}-ed data. This can be done with the @code{PLUGIN_REGISTER_GGC_ROOTS} pseudo-event with a null callback and the extra root table (of type @code{struct ggc_root_tab*}) as @code{user_data}. Running the @@ -471,7 +471,7 @@ When a pass is first added to one of the pass lists, the event @section Building GCC plugins If plugins are enabled, GCC installs the headers needed to build a -plugin (somewhere in the installation tree, e.g. under +plugin (somewhere in the installation tree, e.g.@: under @file{/usr/local}). In particular a @file{plugin/include} directory is installed, containing all the header files needed to build plugins. -- cgit v1.1