projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
added btthreadall to dump all threads
[pintos-anon]
/
doc
/
pintos.texi
diff --git
a/doc/pintos.texi
b/doc/pintos.texi
index ac1612717747f49d58407f8d581af178c931d1c0..40e702fc7831aa8ab5b1542b4a4e20413f5af474 100644
(file)
--- a/
doc/pintos.texi
+++ b/
doc/pintos.texi
@@
-1,4
+1,5
@@
\input texinfo @c -*- texinfo -*-
\input texinfo @c -*- texinfo -*-
+
@c %**start of header
@setfilename pintos.info
@settitle Pintos Projects
@c %**start of header
@setfilename pintos.info
@settitle Pintos Projects
@@
-66,6
+67,9
@@
* License::
@end menu
* License::
@end menu
+@c institution-local settings
+@include localsettings.texi
+
@include intro.texi
@include threads.texi
@include userprog.texi
@include intro.texi
@include threads.texi
@include userprog.texi