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

LIBDIR=../..
#LIBDIR=../../../FiveUI-github
HEADER=galois-github-header.txt
BEFORE_BODY=galois-github-before-body.txt
AFTER_BODY=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 --template=template.html #$(HTML5)
#	pandoc $< -o $@ -s --highlight-style=kate -H $(HEADER) -B $(BEFORE_BODY) -A $(AFTER_BODY) -c $(CSS) $(HTML5)