Minor fix.
This commit is contained in:
parent
2f8418a8c2
commit
95b976ed1b
2 changed files with 2 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -118,7 +118,7 @@ build-incremental: $(MARKDOWN)
|
||||||
|
|
||||||
# Remove all auxiliary files
|
# Remove all auxiliary files
|
||||||
clean:
|
clean:
|
||||||
rm -f .agda-stdlib.sed .links-*.sed src/plfa/acknowledgements_epub.md
|
rm -f .agda-stdlib.sed .links-*.sed out/epub/acknowledgements.md
|
||||||
ifneq ($(strip $(AGDAI)),)
|
ifneq ($(strip $(AGDAI)),)
|
||||||
rm $(AGDAI)
|
rm $(AGDAI)
|
||||||
endif
|
endif
|
||||||
|
|
|
@ -67,3 +67,4 @@ exclude:
|
||||||
- "Gemfile"
|
- "Gemfile"
|
||||||
- "Gemfile.lock"
|
- "Gemfile.lock"
|
||||||
- "highlight.sh"
|
- "highlight.sh"
|
||||||
|
- "out/epub/acknowledgements.md"
|
||||||
|
|
Loading…
Reference in a new issue