diff --git a/doc/Test.xml b/doc/Test.xml
index 279a3b9a..77c38bb4 100644
--- a/doc/Test.xml
+++ b/doc/Test.xml
@@ -1075,7 +1075,6 @@
 <C>IsHapNonFreeResolution</C><Br/>
 <C>NEATO_PATH</C><Br/>
 <C>NerveOfCover</C><Br/>
-<C>POLYMAKE_PATH</C><Br/>
 <C>PseudoList</C><Br/>
 <C>PseudoListFamily</C><Br/>
 <C>QUASICATONEGROUP_DATA_NOT</C><Br/>
diff --git a/doc/Undocumented.xml b/doc/Undocumented.xml
index b5b7492f..da14fc98 100644
--- a/doc/Undocumented.xml
+++ b/doc/Undocumented.xml
@@ -8029,8 +8029,6 @@
 <Br/>
 <C>NerveOfCover</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
 <Br/>
-<C>POLYMAKE_PATH</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
-<Br/>
 <C>PseudoList</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
 <Br/>
 <C>PseudoListFamily</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>