From 181fd2fab2b969401ba0d2c69a1daa418c3f505d Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Thu, 12 May 2022 02:30:00 -0300 Subject: [PATCH] [docs] Marking internal comment in proofs docs (#8747) --- src/proof/proof_rule.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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: -- 2.30.2