May also consult course staff.

diff --git a/doc/filesys.tmpl b/doc/filesys.tmpl
index e3d6f56808328074359a14b94b4d2991a004d090..2bb2d1bc20d484f448eaf19f2401aa6f7aa86f7a 100644 (file)
--- a/doc/filesys.tmpl
+++ b/doc/filesys.tmpl
@@ -19,7 +19,7 @@ FirstName LastName <email@domain.example>
 
 >> Please cite any offline or online sources you consulted while
 >> preparing your submission, other than the Pintos documentation, course
->> text, and lecture notes.
+>> text, lecture notes, and course staff.
 
                     INDEXED AND EXTENSIBLE FILES
                     ============================

diff --git a/doc/threads.tmpl b/doc/threads.tmpl
index ce0ca75fc8f59e714ac65764003bd32cce7749ce..b34b4e2eab4845bef2d7b8f4c9933ef3dc30a404 100644 (file)
--- a/doc/threads.tmpl
+++ b/doc/threads.tmpl
@@ -19,7 +19,7 @@ FirstName LastName <email@domain.example>
 
 >> Please cite any offline or online sources you consulted while
 >> preparing your submission, other than the Pintos documentation, course
->> text, and lecture notes.
+>> text, lecture notes, and course staff.
 
                             ALARM CLOCK
                             ===========

diff --git a/doc/userprog.tmpl b/doc/userprog.tmpl
index 1cf7ed7aca78c70366863f15dfc2737ea9b043ec..a489303091491fc57d545ebb998019f396329043 100644 (file)
--- a/doc/userprog.tmpl
+++ b/doc/userprog.tmpl
@@ -19,7 +19,7 @@ FirstName LastName <email@domain.example>
 
 >> Please cite any offline or online sources you consulted while
 >> preparing your submission, other than the Pintos documentation, course
->> text, and lecture notes.
+>> text, lecture notes, and course staff.
 
                           ARGUMENT PASSING
                           ================

diff --git a/doc/vm.tmpl b/doc/vm.tmpl
index 7deac673100d3199d9bcfd89c0cc7678793f12c3..a5674b011215a192b75c29c3a2ab7fe49789d1a7 100644 (file)
--- a/doc/vm.tmpl
+++ b/doc/vm.tmpl
@@ -19,7 +19,7 @@ FirstName LastName <email@domain.example>
 
 >> Please cite any offline or online sources you consulted while
 >> preparing your submission, other than the Pintos documentation, course
->> text, and lecture notes.
+>> text, lecture notes, and course staff.
 
                        PAGE TABLE MANAGEMENT
                        =====================