aboutsummaryrefslogtreecommitdiff
path: root/doc/manual_src/Makefile
blob: 31f4f4ea17d6440c56586481db2282d807ca431b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

LIBDIR=.
#LIBDIR=../../../FiveUI-github
HEADER=$(LIBDIR)/galois-github-header.txt
BEFORE_BODY=$(LIBDIR)/galois-github-before-body.txt
AFTER_BODY=$(LIBDIR)/galois-github-after-body.txt
CSS=$(LIBDIR)/galois-github.css
HTML5=-t html5

DOCS := $(patsubst %.md,%.html,$(wildcard *.md))

all: $(DOCS)

clean:
	$(RM) $(DOCS)

%.html: %.md
	pandoc $< -o $@ -s --highlight-style=kate -H $(HEADER) -B $(BEFORE_BODY) -A $(AFTER_BODY) -c $(CSS) $(HTML5)