From d36cbc3f805bab13dfd9b4b4849df5ada582b847 Mon Sep 17 00:00:00 2001 From: yoni206 Date: Wed, 5 Jan 2022 18:26:00 +0200 Subject: [PATCH] Properly set __file__ in python bindings (#7867) When running make docs after changing the documentation in cvc5.pxi, the html files are not updated. This PR fixes this issue. Co-authored-by: Gereon Kremer gereon.kremer@cs.rwth-aachen.de --- src/api/python/__init__.py.in | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/python/__init__.py.in b/src/api/python/__init__.py.in index 8ce03e26d..bbdc87347 100644 --- a/src/api/python/__init__.py.in +++ b/src/api/python/__init__.py.in @@ -1,2 +1,3 @@ import sys from .pycvc5 import * +__file__ = pycvc5.__file__ -- 2.30.2