diff options
Diffstat (limited to 'doc/building/mcode/index.rst')
| -rw-r--r-- | doc/building/mcode/index.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/building/mcode/index.rst b/doc/building/mcode/index.rst index 7d850c4a3..0b081392a 100644 --- a/doc/building/mcode/index.rst +++ b/doc/building/mcode/index.rst @@ -16,9 +16,9 @@ options. .. rubric:: Supported platforms -* :ref:`GNU/Linux with GCC <BUILD:mcode:GNULinux-GNAT>` -* :ref:`Windows (x86_64) with GNAT GPL (x86) <BUILD:mcode:Windows-GNATGPL>` -* :ref:`Windows (x86_64) with MinGW32/MinGW64 <BUILD:mcode:Windows-WinGW-GNAT>` +* :doc:`GNULinux-GNAT` +* :doc:`Windows-GNATGPL` +* :doc:`Windows-MinGW-GNAT` .. toctree:: :hidden: |