diff options
| author | root <root@turin.home> | 2022-01-25 23:00:12 +0000 |
|---|---|---|
| committer | root <root@turin.home> | 2022-01-25 23:00:12 +0000 |
| commit | 11e3e6e472781b2078c9179e344abd42ece2cb53 (patch) | |
| tree | f1a439a42f80154e9c538dd7b2ac277c11878df8 /Makefile | |
| parent | f99481ad484caa2bc34ec101c0baa8845f6dcb16 (diff) | |
Minor changes
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |\ |