projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update docs.
[pintos-anon]
/
doc
/
projects.texi
diff --git
a/doc/projects.texi
b/doc/projects.texi
index 90b85e97eb5c6231d9b58c612fb8f2f56dc7618e..f803ac07a8fd99dba5cc9451347e3b26f872c8d0 100644
(file)
--- a/
doc/projects.texi
+++ b/
doc/projects.texi
@@
-1,5
+1,19
@@
+\input texinfo @c -*- texinfo -*-
+@c %**start of header
+@setfilename projects.info
+@settitle Pintos Projects
+@c %**end of header
+
+@titlepage
+@title Pintos Projects
+@end titlepage
+
+@contents
+
+@ifnottex
@node Top, Introduction, (dir), (dir)
@top Pintos Projects
@node Top, Introduction, (dir), (dir)
@top Pintos Projects
+@end ifnottex
@menu
* Introduction::
@menu
* Introduction::
@@
-22,3
+36,5
@@
@include standards.texi
@include doc.texi
@include debug.texi
@include standards.texi
@include doc.texi
@include debug.texi
+
+@bye