voidlizard
/
hbs2
mirror of https://github.com/voidlizard/hbs2
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Makefile

This commit is contained in:
Dmitry Zuikov 2024-03-20 17:47:17 +03:00
parent 2b9cb3994f
commit 10181d1e34
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@ -51,3 +51,9 @@ test-core:
test-raft: test-raft:
> nix develop -c ghcid -c 'cabal repl' raft-algo -T RaftAlgo.Proto.devTest > 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!