1 files changed, 0 insertions, 4 deletions
diff --git a/INSTALL.md b/INSTALL.md
index daaad91..8cd1c76 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -54,10 +54,6 @@ that did not yet make its way into a release, you can clone the
 
        % ./configure
 
-* On a Raspberry Pi and other ARM systems you might need
-
-       % ./configure --with-boost-libdir=/usr/lib/arm-linux-gnueabihf
-
 * Build ODR-DabMux
 
        % make