From e87c84d193c25756b9a4bfcfe09e2215608342bf Mon Sep 17 00:00:00 2001 From: root Date: Tue, 8 Feb 2022 22:49:15 +0000 Subject: Minor changes, bringing more sources in. About 2000 words. --- Makefile | 27 ++++-- formatting.ms | 4 +- header.html | 2 + paper | 266 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ paper.ms | 227 ------------------------------------------------- refer | 10 ++- 6 files changed, 299 insertions(+), 237 deletions(-) create mode 100644 paper delete mode 100644 paper.ms diff --git a/Makefile b/Makefile index f16c2c0..428a0c4 100644 --- a/Makefile +++ b/Makefile @@ -1,15 +1,18 @@ -default: +default: pdf +build: ls -1 | grep target || mkdir target - wc paper.ms - cat paper.ms |\ + wc paper + cat paper|\ 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 | tr "^" " "> target/temp - cat formatting.ms target/temp | groff -ket -Tpdf -ms -P-pa4 > target/paper.pdf -html: default +pdf: build + cat formatting.ms target/temp |\ + groff -ket -Tpdf -ms -P-pa4 > target/paper.pdf +html: build cat header.html > target/paper.html - cat formatting.ms target/temp| sed "s/.nr LL*/.nr LL 7i/g" |\ + cat formatting.ms target/temp| sed "s/.nr LL*/.nr LL 6i/g" |\ groff -Tascii -c -ms |\ sed "1,2d" | ansi2html -piml >> target/paper.html echo "" >> target/paper.html @@ -17,6 +20,16 @@ read: zathura target/paper.pdf& clean: rm -rf targep -install: default html + install: default html + cp target/paper.html /var/www/git-bin/epq + cp target/paper.pdf /var/www/git-bin/epq + groff -Tascii -c -ms |\ + sed "1,2d" | ansi2html -piml >> target/paper.html + echo "" >> target/paper.html +read: + zathura target/paper.pdf& +clean: + rm -rf targep + install: default html cp target/paper.html /var/www/git-bin/epq cp target/paper.pdf /var/www/git-bin/epq diff --git a/formatting.ms b/formatting.ms index 1e1deef..dd372f5 100644 --- a/formatting.ms +++ b/formatting.ms @@ -9,9 +9,9 @@ .\" header/footer width .nr LT \n[LL] .\" point size -.nr PS 10pt +.nr PS 11pt .\" line height -.nr VS 13p +.nr VS 14p .\" paragraph indent .\" .nr PI 0m .\" interparagraph space diff --git a/header.html b/header.html index 53e75f1..cdf2d74 100644 --- a/header.html +++ b/header.html @@ -1,3 +1,5 @@ + +