summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-07-24 08:41:04 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-07-24 08:41:04 +0200
commit4313e6ca36fbb3d027b227207fc6f3c9e4d95ffe (patch)
tree190dd8cf8689014d29952ab7b610191841a58452 /src
parent7bd8c85deb864166c228cea8ea2edfba32cced24 (diff)
Fix Cech utils documentation to make it work for the web site
Diffstat (limited to 'src')
-rw-r--r--src/Cech_complex/utilities/cechcomplex.md10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/Cech_complex/utilities/cechcomplex.md b/src/Cech_complex/utilities/cechcomplex.md
index f7817dbb..821e4dad 100644
--- a/src/Cech_complex/utilities/cechcomplex.md
+++ b/src/Cech_complex/utilities/cechcomplex.md
@@ -1,3 +1,13 @@
+---
+layout: page
+title: "Čech complex"
+meta_title: "Čech complex"
+teaser: ""
+permalink: /cechcomplex/
+---
+{::comment}
+Leave the lines above as it is required by the web site generator 'Jekyll'
+{:/comment}
# Čech complex #