projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Convert tabs to spaces in design doc templates
[pintos-anon]
/
doc
/
pintos.texi
diff --git
a/doc/pintos.texi
b/doc/pintos.texi
index 777b2f45870d603fc2070cd027d2db97822a3cf6..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
@@
-61,9
+62,14
@@
* Project Documentation::
* Debugging Tools::
* Development Tools::
* Project Documentation::
* Debugging Tools::
* Development Tools::
+* Installing Pintos::
* Bibliography::
* Bibliography::
+* License::
@end menu
@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
@@
-75,6
+81,8
@@
@include doc.texi
@include debug.texi
@include devel.texi
@include doc.texi
@include debug.texi
@include devel.texi
+@include installation.texi
@include bibliography.texi
@include bibliography.texi
+@include license.texi
@bye
@bye