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

Review: Makefile: "make clean" should not remove the .epub

Browse source 
Note that clobber already removes the `out` directory.
This commit is contained in:
Michael Reed 2020-06-15 11:18:11 -04:00
parent 3a9845dd3c
commit feea0a57d2
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

@ -111,7 +111,7 @@ build-incremental: $(MARKDOWN)
# Remove all auxiliary files
clean:
rm -f .agda-stdlib.sed .links-*.sed out/plfa.epub
rm -f .agda-stdlib.sed .links-*.sed
ifneq ($(strip $(AGDAI)),)
rm $(AGDAI)
endif