From 2f51bf9b5725d5b41ba31eddd25c6856319a848b Mon Sep 17 00:00:00 2001 From: Dmitry Zuikov Date: Tue, 9 Apr 2024 13:01:38 +0300 Subject: [PATCH] wtf --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 9d098662..5757ba4b 100644 --- a/Makefile +++ b/Makefile @@ -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!