Changing name of instructor's guide to 'instructor notes'
authorGreg Wilson <gvwilson@third-bit.com>
Wed, 7 Sep 2016 19:15:12 +0000 (15:15 -0400)
committerGreg Wilson <gvwilson@third-bit.com>
Wed, 7 Sep 2016 19:15:12 +0000 (15:15 -0400)
bin/lesson_initialize.py

index bce82445f5705cab104ba9e6e79024b37304c876..a3c478d5a249609fee9178a3d859383706b0bf32 100755 (executable)
@@ -319,7 +319,7 @@ permalink: /figures/
 EXTRAS_GUIDE_MD = '''\
 ---
 layout: page
-title: "Instructors' Guide"
+title: "Instructor Notes"
 permalink: /guide/
 ---
 FIXME