From a7f517e4ccea316b07776bf9effea13c10bc80a5 Mon Sep 17 00:00:00 2001 From: Martin Josefsson <1630938+fromheten@users.noreply.github.com> Date: Thu, 5 Sep 2024 14:30:47 +0200 Subject: [PATCH] Add epub generation of tutorial --- README.md | 15 +++++++++++++++ tutorial/Makefile | 3 +++ 2 files changed, 18 insertions(+) diff --git a/README.md b/README.md index 839864e..0fe5b75 100644 --- a/README.md +++ b/README.md @@ -6,3 +6,18 @@ decl_prog - Sources for "Declarative Programming in Mercury". tutorial - Sources for the Mercury tutorial book. It is available as a PDF on the [Mercury web site](http://mercurylang.org/). + +# Dependencies +- Make +- LaTeX +- gawk +- pandoc (for epub generation) + +## Install all on Debian +- `apt install make gawk texlive-full pandoc` + +## Install all on MacOS/Homebrew: +```sh +brew install --cask mactex-no-gui +brew install gawk pandoc +``` diff --git a/tutorial/Makefile b/tutorial/Makefile index 31def8a..422f0fa 100644 --- a/tutorial/Makefile +++ b/tutorial/Makefile @@ -17,3 +17,6 @@ book.pdf: book.dvi pdflatex book pdflatex book pdflatex book + +book.epub: book.dvi + pandoc book.tex -o $@