diff options
| -rw-r--r-- | part3intro/toolchaintechnotes.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/part3intro/toolchaintechnotes.xml b/part3intro/toolchaintechnotes.xml index 1e7086aaf..644c3a27f 100644 --- a/part3intro/toolchaintechnotes.xml +++ b/part3intro/toolchaintechnotes.xml @@ -5,7 +5,7 @@ %general-entities; ]> -<sect1 id="ch-tools-toolchaintechnotes"> +<sect1 id="ch-tools-toolchaintechnotes" xreflabel="Toolchain Technical Notes"> <?dbhtml filename="toolchaintechnotes.html"?> <title>Toolchain Technical Notes</title> |