diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 18 |
1 files changed, 11 insertions, 7 deletions
@@ -1,15 +1,19 @@ default: ls target || mkdir target - cat formatting.ms paper.ms |\ + cat 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 |\ - groff -ket -Tpdf -ms -P-pa4 > target/paper.pdf - wc paper.ms - #python3 cite.py |\ - + refer -Ss -p refer > target/temp + cat formatting.ms target/temp | groff -ket -Tpdf -ms -P-pa4 > target/paper.pdf + cat header.html > target/paper.html + cat formatting.ms target/temp| sed "s/.nr LL*/.nr LL 7i/g" |\ + groff -Tascii -c -ms | ansi2html -piml >> target/paper.html + echo "</pre>" >> target/paper.html read: zathura target/paper.pdf& clean: - rm -rf target + rm -rf targep +install: default + cp target/paper.html /var/www/git-bin/epq + cp target/paper.pdf /var/www/git-bin/epq |
