"make clean" deletes book source
corwin-of-amber opened this issue · 3 comments
corwin-of-amber commented
On Mac OS X, the default filesystem is case-insensitive.
This is unfortunate.
Since Frap.v is present, make clean tries to delete Frap.tex, which results in deleting frap.tex.
cpitclaudel commented
Fixed by #4, right?
corwin-of-amber commented
Yeah that sure seems to fix it.
achlipala commented
OK, then I think it's all better now. Thanks for the report.