From fa0660a07e1e45816326996d2a4e622681c96a66 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 22 Dec 2025 22:43:44 +0100 Subject: [PATCH] POLYMAKE_PATH is not defined or used anymore --- doc/Test.xml | 1 - doc/Undocumented.xml | 2 -- 2 files changed, 3 deletions(-) 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 @@ IsHapNonFreeResolution
NEATO_PATH
NerveOfCover
-POLYMAKE_PATH
PseudoList
PseudoListFamily
QUASICATONEGROUP_DATA_NOT
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 @@
NerveOfCover    Examples:

-POLYMAKE_PATH    Examples:
-
PseudoList    Examples:

PseudoListFamily    Examples: