Merge branch 'master' of github.com:wenkokke/sf
No clue.
This commit is contained in:
commit
303f13ded4
1 changed files with 7 additions and 1 deletions
8
Makefile
8
Makefile
|
@ -2,7 +2,7 @@ agda := $(wildcard src/*.lagda)
|
||||||
agdai := $(wildcard src/*.agdai)
|
agdai := $(wildcard src/*.agdai)
|
||||||
markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
|
markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
|
||||||
|
|
||||||
all: $(markdown)
|
all: bugfix $(markdown)
|
||||||
|
|
||||||
out/%.md: src/%.lagda
|
out/%.md: src/%.lagda
|
||||||
mkdir -p out
|
mkdir -p out
|
||||||
|
@ -72,3 +72,9 @@ $(HOME)/agda2html-master/:
|
||||||
stack install
|
stack install
|
||||||
|
|
||||||
.phony: serve build clean clobber macos-setup travis-setup
|
.phony: serve build clean clobber macos-setup travis-setup
|
||||||
|
|
||||||
|
# workaround for a bug in agda2html
|
||||||
|
bugfix:
|
||||||
|
@mkdir -p out
|
||||||
|
@touch out/Nat.md
|
||||||
|
.phony: bugfix
|
||||||
|
|
Loading…
Reference in a new issue