diff options
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index a3bfcba36c..1025b0056b 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml | |||
@@ -1873,10 +1873,10 @@ | |||
1873 | <title>Making the Inferior Binaries Available</title> | 1873 | <title>Making the Inferior Binaries Available</title> |
1874 | 1874 | ||
1875 | <para> | 1875 | <para> |
1876 | The inferior binary (complete with all debugging symbols) as well as any | 1876 | The inferior binary (complete with all debugging symbols), as well as any |
1877 | libraries (and their debugging symbols) on which the inferior binary depends | 1877 | libraries (and their debugging symbols) on which the inferior binary depends, |
1878 | need to be available. | 1878 | needs to be available. |
1879 | There are a number of ways you can make these available. | 1879 | There are a number of ways you can make these items available. |
1880 | </para> | 1880 | </para> |
1881 | 1881 | ||
1882 | <para> | 1882 | <para> |