From 2b92ef2bfe8d212da0dd7c047711fa5bffed1d5b Mon Sep 17 00:00:00 2001 From: Warwick Date: Thu, 20 Apr 2023 15:26:56 +0100 Subject: [PATCH] Removed placeholder blindtext stuff. It's unnecessary --- Makefile | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index f5de3ec..b99ae79 100644 --- a/Makefile +++ b/Makefile @@ -9,22 +9,19 @@ pdf-print: ps text: html html2text -width 100 -style pretty ${filename}/${filename}.html | sed -n '/./,$$p' | head -n-2 >${filename}.txt -html: blindtext.sty +html: @#latex2html -split +0 -info "" -no_navigation ${filename} htlatex ${filename} ps: dvi dvips -t letter ${filename}.dvi -dvi: blindtext.sty ${filename}.tex +dvi: ${filename}.tex latex ${filename} bibtex ${filename}||true latex ${filename} latex ${filename} -blindtext.sty: - touch blindtext.sty - read: evince ${filename}.pdf &