From 8bca9f3d05bde71c0dd558561a65c5e926af4d1c Mon Sep 17 00:00:00 2001
From: Pierre-Marie de Rodat <derodat@adacore.com>
Date: Tue, 10 Nov 2020 18:27:17 +0100
Subject: [PATCH] User Manual: pass --library-types to Langkit_Support
 build/install cmds

TN: T914-012
---
 user_manual/building.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/user_manual/building.rst b/user_manual/building.rst
index c11f218ee..bdbb6eac3 100644
--- a/user_manual/building.rst
+++ b/user_manual/building.rst
@@ -38,11 +38,11 @@ following steps:
      $ pip install .
 
      # Build the "langkit_support.gpr" project
-     $ python manage.py build-langkit-support
+     $ python manage.py build-langkit-support --library-types=static,static-pic,relocatable
 
      # Install it. Replace $PREFIX below with the directory where you want to
      # install the langkit_support.gpr project.
-     $ python manage.py install-langkit-support $PREFIX
+     $ python manage.py install-langkit-support --library-types=static,static-pic,relocatable $PREFIX
 
 To develop comfortably: