From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Fri, 8 Sep 2017 14:44:04 +0000 (+0200)
Subject: Minor doc edit.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f00251a8e71aa96e243cb1e95dadbdbad8ada4f;p=gcc.git

Minor doc edit.

From-SVN: r251901
---

diff --git a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
index 258494fd07e..7cadacbc6ad 100644
--- a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
+++ b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
@@ -3159,9 +3159,14 @@ preprocessing in a file, either run ``gnatprep``
 in standalone mode or else supply the :switch:`-gnateG` switch
 (described below) to the compiler.
 
-The ``gnatmake`` switch :switch:`-s` should be used with integrated
-preprocessing; otherwise the use of a different preprocessor data file
-without changing the sources will not cause recompilation.
+When using project files:
+
+   *    the builder switch :switch:`-x` should be used if any Ada source is
+        compiled with :switch:`gnatep=`, so that the compiler finds the
+        *preprocessor data file*.
+
+   *    the preprocessing data file and the symbol definition files should be
+        located in the source directories of the project.
 
 Note that the ``gnatmake`` switch :switch:`-m` will almost
 always trigger recompilation for sources that are preprocessed,