From 10181d1e34877c24e925f3e977bed6fa5c416d50 Mon Sep 17 00:00:00 2001
From: Dmitry Zuikov <dzuikov@gmail.com>
Date: Wed, 20 Mar 2024 17:47:17 +0300
Subject: [PATCH] Makefile

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 22dbd6d0..9d098662 100644
--- a/Makefile
+++ b/Makefile
@@ -51,3 +51,9 @@ test-core:
 test-raft:
 > nix develop -c ghcid -c 'cabal repl' raft-algo -T RaftAlgo.Proto.devTest
 
+README.md:
+	pandoc README.md -t gfm -s -o README1.md --table-of-contents
+	@mv README1.md README.md
+	@echo Remove old TOC before publishing!
+
+