From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Thu, 12 May 2022 05:30:00 +0000 (-0300)
Subject: [docs] Marking internal comment in proofs docs (#8747)
X-Git-Tag: cvc5-1.0.1~144
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=181fd2fab2b969401ba0d2c69a1daa418c3f505d;p=cvc5.git

[docs] Marking internal comment in proofs docs (#8747)
---

diff --git a/src/proof/proof_rule.h b/src/proof/proof_rule.h
index 0ef84f232..be1d7b040 100644
--- a/src/proof/proof_rule.h
+++ b/src/proof/proof_rule.h
@@ -23,11 +23,14 @@
 namespace cvc5::internal {
 
 /**
+ * \internal
+ * This documentation is target for the online documentation that can
+ * be found at https://cvc5.github.io/docs/latest/proofs/proof_rules.html
+ * \endinternal
+ *
  * \verbatim embed:rst:leading-asterisk
  * An enumeration for proof rules. This enumeration is analogous to Kind for
  * Node objects.
- * This documentation is target for the online documentation that can be found
- * at https://cvc5.github.io/docs/main/proofs/proof_rules.html.
  *
  * All proof rules are given as inference rules, presented in the following
  * form: