removing build folder

Author: AakashGfude

sphinx_proof/nodes.py

@@ -31,6 +31,8 @@ class unenumerable_node(nodes.Admonition, nodes.Element):
 
 def visit_enumerable_node(self, node: Node) -> None:
     if isinstance(self, LaTeXTranslator):
+        docname = find_parent(self.builder.env, node, "section")
+        self.body.append("\\label{" + f"{docname}:{node.attributes['label']}" + "}")
         self.body.append(latex_admonition_start)
     else:
         self.body.append(self.starttag(node, "div", CLASS="admonition"))
@@ -53,6 +55,8 @@ def depart_enumerable_node(self, node: Node) -> None:
 
 def visit_unenumerable_node(self, node: Node) -> None:
     if isinstance(self, LaTeXTranslator):
+        docname = find_parent(self.builder.env, node, "section")
+        self.body.append("\\label{" + f"{docname}:{node.attributes['label']}" + "}")
         self.body.append(latex_admonition_start)
     else:
         self.body.append(self.starttag(node, "div", CLASS="admonition"))

tests/test_build.py

@@ -2,6 +2,14 @@
 import pytest
 
 
+@pytest.mark.sphinx("html", testroot="missingref")
+def test_missing_ref(app, warnings):
+    # Clean build
+    app.build()
+    assert "WARNING: label 'foo' not found" in warnings(app)
+
+
+# Tests for algorithms
 @pytest.mark.sphinx("html", testroot="mybook")
 @pytest.mark.parametrize(
     "idir", ["_algo_labeled_titled_with_classname.html", "_algo_nonumber.html"]
@@ -38,3 +46,28 @@ def test_reference(app, idir, file_regression):
 def test_duplicate_label(app, warnings):
     app.build()
     assert "WARNING: duplicate algorithm label" in warnings(app)
+
+
+# Tests for Proofs
+@pytest.mark.sphinx("html", testroot="mybook")
+@pytest.mark.parametrize(
+    "idir",
+    [
+        "_proof_with_classname.html",
+        "_proof_no_classname.html",
+        "_proof_with_argument_content.html",
+        "_proof_with_labeled_math.html",
+        "_proof_with_unlabeled_math.html",
+    ],
+)
+def test_proof(app, idir, file_regression):
+    """Test proof directive markup."""
+    app.build()
+    path_proof_directive = app.outdir / "proof" / idir
+    assert path_proof_directive.exists()
+
+    # get content markup
+    soup = BeautifulSoup(path_proof_directive.read_text(encoding="utf8"), "html.parser")
+
+    proof = soup.select("div.proof")[0]
+    file_regression.check(str(proof), basename=idir.split(".")[0], extension=".html")