From 2b71d8bc0878ecb35b9b34ccbed558c21c4410f4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 3 Mar 2022 14:59:38 -0800
Subject: [PATCH] doc macros

---
 doc/website.dox.in | 1 -
 doc/z3api.cfg.in   | 3 +--
 doc/z3code.dox     | 3 +--
 3 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/doc/website.dox.in b/doc/website.dox.in
index 411520a17..69395492e 100644
--- a/doc/website.dox.in
+++ b/doc/website.dox.in
@@ -10,5 +10,4 @@
 
    - \ref @C_API@
    - \ref @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@
-   - Try Z3 online at <a href="http://rise4fun.com/z3">RiSE4Fun</a>.
 */
diff --git a/doc/z3api.cfg.in b/doc/z3api.cfg.in
index 9b7e61e34..41624b255 100644
--- a/doc/z3api.cfg.in
+++ b/doc/z3api.cfg.in
@@ -270,8 +270,7 @@ ALIASES                = "beginfaq=<ul>" \
                          "emph{1}=<em>\1</em>" \
                          "extdoc{2}=<a class=\"el\" href=\"\1\">\2</a>" \
                          "nicebox{1}=<div class=\"fragment\"><pre class=\"fragment\">\1</pre></div>" \
-                         "ccode{1}=<tt>\1</tt>" \
-                         "zframe=<iframe allowtransparency=\"true\" frameborder=\"0\" style=\"width:600px;height:600px\" src=\"http://rise4fun.com/z3?frame=1&menu=0\"> </iframe>"
+                         "ccode{1}=<tt>\1</tt>"
 
 # This tag can be used to specify a number of word-keyword mappings (TCL only).
 # A mapping has the form "name=value". For example adding "class=itcl::class"
diff --git a/doc/z3code.dox b/doc/z3code.dox
index 205dd059b..b6a7fb088 100644
--- a/doc/z3code.dox
+++ b/doc/z3code.dox
@@ -64,8 +64,7 @@ ALIASES                = "beginfaq=<ul>" \
                          "emph{1}=<em>\1</em>" \
                          "extdoc{2}=<a class=\"el\" href=\"\1\">\2</a>" \
                          "nicebox{1}=<div class=\"fragment\"><pre class=\"fragment\">\1</pre></div>" \
-                         "ccode{1}=<tt>\1</tt>" \
-                         "zframe=<iframe allowtransparency=\"true\" frameborder=\"0\" style=\"width:600px;height:600px\" src=\"http://rise4fun.com/z3?frame=1&menu=0\"> </iframe>"
+                         "ccode{1}=<tt>\1</tt>" 
 
 OPTIMIZE_OUTPUT_FOR_C  = YES
 OPTIMIZE_OUTPUT_JAVA   = NO