janash opened this issue 5 years ago · 0 comments
@dgasmith and I encountered this error with students at the summer school. The readme in their directory was accidentally deleted, leading to failures in building. It's very hard for students to troubleshoot.