From 495f9db0606b0ed09e6fac59dc32de4cdc8c0087 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 28 Mar 2021 00:03:41 +0100
Subject: 2021 Spring redesign

---
 site/posts/CoqffiEcho.org | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'site/posts/CoqffiEcho.org')

diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org
index 04fa253..81ae0e9 100644
--- a/site/posts/CoqffiEcho.org
+++ b/site/posts/CoqffiEcho.org
@@ -1,6 +1,7 @@
-#+BEGIN_EXPORT html
-<h1>Implementing an Echo Server in Coq with <code>coqffi</code></h1>
-#+END_EXPORT
+#+TITLE: Implementing an Echo Server in Coq with ~coqffi~
+
+#+SERIES: ./Coqffi.html
+#+SERIES_PREV: ./CoqffiIntro.html
 
 #+NAME: coqffi_output
 #+BEGIN_SRC sh :results output :exports none :var mod=""
@@ -21,9 +22,8 @@ Besides, this article is a literate program, and you can download
 [[/files/coqffi-tutorial.tar.gz][the resulting source tree]] if you
 want to try to read the source directly, or modify it to your taste.
 
-#+TOC: headlines 2
-
 #+BEGIN_EXPORT html
+<nav id="generate-toc"></nav>
 <div id="history">site/posts/CoqffiEcho.org</div>
 #+END_EXPORT
 
-- 
cgit v1.2.3