diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-11-30 14:37:30 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-30 22:37:30 +0000 |
commit | bcabf70ae1fefd2eb77c48baf9db1e2c88259622 (patch) | |
tree | 49fcc8b255339d8abeb29cea8c3a25762a3bbf45 /docs/examples/sygus-grammar.rst | |
parent | 0b914e436b58c261af82bfb37ebc6ca6e3a34a97 (diff) |
Extend docs example extension (#7717)
This PR extends the custom sphinx extension for examples. It now allows for simple patterns in the file names and matches the file types using arbitrary regular expressions instead of just looking at the file extensions. This is necessary to integrate examples from the z3pycompat API: the examples live at a nontrivial place (in the build folder), which we inject via the file name patterns; we will have two separate examples which both end in .py but can be distinguished via the pattern used in the beginning.
Diffstat (limited to 'docs/examples/sygus-grammar.rst')
-rw-r--r-- | docs/examples/sygus-grammar.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/examples/sygus-grammar.rst b/docs/examples/sygus-grammar.rst index ad22bdc85..4d416b5f8 100644 --- a/docs/examples/sygus-grammar.rst +++ b/docs/examples/sygus-grammar.rst @@ -3,7 +3,7 @@ SyGuS: Grammars .. api-examples:: - ../../examples/api/cpp/sygus-grammar.cpp - ../../examples/api/java/SygusGrammar.java - ../../examples/api/python/sygus-grammar.py - ../../examples/api/smtlib/sygus-grammar.sy + <examples>/api/cpp/sygus-grammar.cpp + <examples>/api/java/SygusGrammar.java + <examples>/api/python/sygus-grammar.py + <examples>/api/smtlib/sygus-grammar.sy |