From a8914d76b56ded8baed27d7a5a77b783191cfa9a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 19 Dec 2017 18:10:19 +0100
Subject: Makefile: Add install.vpi.local and mention it.

---
 doc/building/gcc/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/building/gcc/index.rst b/doc/building/gcc/index.rst
index 2b6e33c8c..5d76e1684 100644
--- a/doc/building/gcc/index.rst
+++ b/doc/building/gcc/index.rst
@@ -23,7 +23,7 @@ GCC Backend
   $ make ghdl_gcc            # Build the driver
   $ make libs.vhdl.local_gcc # Compile the vhdl libraries
   $ make grt-all             # Build the GHDL runtime
-  $ make grt.links           # Locally install the GHDL runtime
+  $ make install.vpi.local   # Locally install vpi files
 
   In ``src/ortho/gcc``, create a ``Makefile.conf`` file that sets the following
   variables:
-- 
cgit v1.2.3