From 11e3e6e472781b2078c9179e344abd42ece2cb53 Mon Sep 17 00:00:00 2001 From: root Date: Tue, 25 Jan 2022 23:00:12 +0000 Subject: Minor changes --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 651d684..6b64181 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,7 @@ default: ls target || mkdir target cat formatting.ms paper.ms |\ + sed "s/^{/.[\n/g" |\ sed "s/}{/\n.]\n.[\n/g" |\ sed "s/{/\n.[\n/g" | sed "s/\}\ /\n.]\n/g" | sed "s/\}/\n.]\n/g" |\ refer -Ss -p refer |\ -- cgit v1.2.3