6808.github.io 源码

6808.github.io 从2019年Spring开始,这是MIT 6.808的网页。 信息页面 信息页面(索引,日历,便笺,答案等)基于 。 编辑*.jemdoc并运行make ,它将自动更新相应HTML文件。 避免直接编辑HTML文件。 如果直接编辑HTML文件,则下次调用make ,这些更改将被覆盖。 请参阅此了解jemdoc的语法。 编辑MENU以更新左列菜单。 如果添加了新的jemdoc页面,请在Makefile相应编辑DOCS变量。 要更新日历页面,请在calendar.jemdoc编辑HTML代码。 不幸的是,更新日期是一个繁琐的过程,没有自动化的方法,但这仅需每学期