From 9420d26b4b9dd42238d3ec2a92abe0552d37775e Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Tue, 29 Mar 2022 12:26:50 -0400
Subject: Drop libtool path from settings file

GHC no longers uses libtool for linking and therefore this is no longer
necessary.
---
 docs/users_guide/phases.rst | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'docs')

diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst
index c931268bbd..fdb08a4209 100644
--- a/docs/users_guide/phases.rst
+++ b/docs/users_guide/phases.rst
@@ -123,13 +123,6 @@ given compilation phase:
     GHC installation. See ``-fno-embed-manifest`` in
     :ref:`options-linker`.
 
-.. ghc-flag:: -pgmlibtool ⟨cmd⟩
-    :shortdesc: Use ⟨cmd⟩ as the command for libtool (with :ghc-flag:`-staticlib` only).
-    :type: dynamic
-    :category: phase-programs
-
-    Use ⟨cmd⟩ as the libtool command (when using :ghc-flag:`-staticlib` only).
-
 .. ghc-flag:: -pgmi ⟨cmd⟩
     :shortdesc: Use ⟨cmd⟩ as the external interpreter command.
     :type: dynamic
-- 
cgit v1.2.1