michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Disabled external links in 'make test'

Browse source
This commit is contained in:
Wen Kokke 2018-07-05 15:31:29 +01:00
parent db9aa67887
commit 76b4c7144e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -5,7 +5,7 @@ markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
all: $(markdown)
test: build
ruby -S bundle exec htmlproofer _site
ruby -S bundle exec htmlproofer _site --disable-external
statistics:
hs/agda-count