From 5f693f3881d9d7c824b7012bd18fec73c852590c Mon Sep 17 00:00:00 2001 From: 1138-4EB <1138-4EB@users.noreply.github.com> Date: Sun, 28 Jan 2018 05:20:47 +0100 Subject: fix sphinx warnings --- doc/building/gcc/GNULinux-GNAT.rst | 4 ---- doc/building/gcc/index.rst | 2 -- 2 files changed, 6 deletions(-) (limited to 'doc/building/gcc') diff --git a/doc/building/gcc/GNULinux-GNAT.rst b/doc/building/gcc/GNULinux-GNAT.rst index f58e3b2ef..259218a82 100644 --- a/doc/building/gcc/GNULinux-GNAT.rst +++ b/doc/building/gcc/GNULinux-GNAT.rst @@ -6,13 +6,9 @@ GCC Backend on GNU/Linux with GCC/GNAT .. HINT:: There are some dependencies for building GCC (``gmp``, ``mpfr`` and ``mpc``). If you have not installed them on your system, you can either build them manually or use the ``download_prerequisites`` script provided in the GCC source tree (recommended): ``cd /path/to/gcc/source/dir && ./contrib/download_prerequisites``. * First configure GHDL, specify GCC source directory and installation prefix (like ``/usr/local`` or ``/opt/ghdl``). - * Next, invoke ``make copy-sources`` to copy GHDL sources in the source directory. - * Then, configure GCC. The list of ``--disable`` configure options can be adjusted to your needs. GHDL does not require all these optional libraries and disabling them will speed up the build. - * Now, build and install GCC with ``make``. - * Last, build and install GHDL libraries. .. rubric:: Example: diff --git a/doc/building/gcc/index.rst b/doc/building/gcc/index.rst index e579bceb8..23b6ebfa2 100644 --- a/doc/building/gcc/index.rst +++ b/doc/building/gcc/index.rst @@ -3,8 +3,6 @@ GCC Backend ########### -.. HINT:: - .. rubric:: Requirements * GCC (Gnu Compiler Collection) -- cgit v1.2.3