diff options
Diffstat (limited to 'blocking/Makefile')
| -rw-r--r-- | blocking/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/blocking/Makefile b/blocking/Makefile index a604f68..e13482b 100644 --- a/blocking/Makefile +++ b/blocking/Makefile @@ -7,6 +7,7 @@ html: mkdir -p html make4ht -d html blocking.tex make4ht -d html blocking.tex + cat custom.css >> html/blocking.css rm blocking.4ct blocking.4tc blocking.aux blocking.dvi blocking.idv blocking.lg blocking.log blocking.tmp blocking.xref blocking.css blocking.html all: pdf html |