diff options
| -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> |
