Use macros for 8259A PIC registers, instead of writing them literally.

[pintos-anon] / doc / userprog.tmpl

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
                           ================