This commit is contained in:
Dmitry Zuikov 2024-04-09 13:01:38 +03:00
parent ab14f1ddd3
commit 2f51bf9b57
1 changed files with 3 additions and 3 deletions

View File

@ -52,8 +52,8 @@ 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!
> pandoc README.md -t gfm -s -o README1.md --table-of-contents
> @mv README1.md README.md
> @echo Remove old TOC before publishing!