diff options
Diffstat (limited to '')
-rw-r--r-- | user/exe/index.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/user/exe/index.rst b/user/exe/index.rst index 9380a00..136a410 100644 --- a/user/exe/index.rst +++ b/user/exe/index.rst @@ -2,6 +2,8 @@ .. Copyright (C) 2018 Chris Johns <chrisj@rtems.org> +.. _Executables: + Executables *********** .. index:: Executable |