diff options
| -rw-r--r-- | source/arm-gcc.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/arm-gcc.rst b/source/arm-gcc.rst index 75c3292..129f5e6 100644 --- a/source/arm-gcc.rst +++ b/source/arm-gcc.rst @@ -10,6 +10,9 @@ This document provides notes on using ``arm-none-eabi-gcc``, the not intended as a reference manual for GCC; such manuals are available `elsewhere <http://gcc.gnu.org/>`_. +.. contents:: Contents + :local: + Obtaining ``arm-none-eabi-gcc`` ------------------------------- |