diff options
-rw-r--r-- | documentation/ref-manual/ref-variables.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index 8a2aef417e..08d4a7cc13 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml | |||
@@ -234,8 +234,8 @@ | |||
234 | <para> | 234 | <para> |
235 | The second example stops the build after all currently | 235 | The second example stops the build after all currently |
236 | executing tasks complete when the minimum disk space | 236 | executing tasks complete when the minimum disk space |
237 | in the <filename>${TMPDIR}</filename> directory drops | 237 | in the <filename>${<link linkend='var-TMPDIR'>TMPDIR</link>}</filename> |
238 | below 1 Gbyte. | 238 | directory drops below 1 Gbyte. |
239 | No disk monitoring occurs for the free inodes in this case. | 239 | No disk monitoring occurs for the free inodes in this case. |
240 | </para> | 240 | </para> |
241 | 241 | ||