doc: remove description of how to get the piplib submodule

The submodule was actually removed way back in 309036c (add copyright
statements).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index a8f7e16..6f5281e 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -58,23 +58,7 @@ To obtain updates, you need to pull in the latest changes
 
        git pull
 
-=item 2 Get submodule (optional)
-
-C<isl> can optionally use the C<piplib> library and provides
-this library as a submodule.  If you want to use it, then
-after you have cloned C<isl>, you need to grab the submodules
-
-       git submodule init
-       git submodule update
-
-To obtain updates, you only need
-
-       git submodule update
-
-Note that C<isl> currently does not use any C<piplib>
-functionality by default.
-
-=item 3 Generate C<configure>
+=item 2 Generate C<configure>
 
        ./autogen.sh