30595: remove sage/libs/ppl from doc

seblabbe · seblabbe · commit 8c512429644f · 2020-09-18T09:26:44.000+02:00
diff --git a/src/doc/en/reference/libs/index.rst b/src/doc/en/reference/libs/index.rst
@@ -138,13 +138,6 @@ PARI
    sage/libs/pari/convert_sage
    sage/rings/pari_ring
 
-PPL
----
-.. toctree::
-   :maxdepth: 2
-
-   sage/libs/ppl
-
 ratpoints
 ---------
 .. toctree::
