projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add installation chapter to manual. Remove now-redundant files from
[pintos-anon]
/
doc
/
intro.texi
diff --git
a/doc/intro.texi
b/doc/intro.texi
index c4846908c14bbb9db5db6f10d5192d3d66ab8a3c..0a5f85bf44f4ecbbf5a51f91eac2d2c9a3538216 100644
(file)
--- a/
doc/intro.texi
+++ b/
doc/intro.texi
@@
-35,7
+35,7
@@
projects.
@menu
* Getting Started::
* Grading::
@menu
* Getting Started::
* Grading::
-* L
icense::
+* L
egal and Ethical Issues::
* Acknowledgements::
* Trivia::
@end menu
* Acknowledgements::
* Trivia::
@end menu
@@
-503,12
+503,15
@@
In the end, remember your audience. Code is written primarily to be
read by humans. It has to be acceptable to the compiler too, but the
compiler doesn't care about how it looks or how well it is written.
read by humans. It has to be acceptable to the compiler too, but the
compiler doesn't care about how it looks or how well it is written.
-@node L
icense
-@section L
icense
+@node L
egal and Ethical Issues
+@section L
egal and Ethical Issues
Pintos is distributed under a liberal license that allows free use,
modification, and distribution. Students and others who work on Pintos
own the code that they write and may use it for any purpose.
Pintos is distributed under a liberal license that allows free use,
modification, and distribution. Students and others who work on Pintos
own the code that they write and may use it for any purpose.
+Pintos comes with NO WARRANTY, not even for MERCHANTABILITY or FITNESS
+FOR A PARTICULAR PURPOSE.
+@xref{License}, for details of the license and lack of warranty.
In the context of Stanford's CS 140 course, please respect the spirit
and the letter of the honor code by refraining from reading any homework
In the context of Stanford's CS 140 course, please respect the spirit
and the letter of the honor code by refraining from reading any homework
@@
-517,12
+520,6
@@
other operating system kernels, such as Linux or FreeBSD, is allowed,
but do not copy code from them literally. Please cite the code that
inspired your own in your design documentation.
but do not copy code from them literally. Please cite the code that
inspired your own in your design documentation.
-Pintos comes with NO WARRANTY, not even for MERCHANTABILITY or FITNESS
-FOR A PARTICULAR PURPOSE.
-
-The @file{LICENSE} file at the top level of the Pintos source
-distribution has full details of the license and lack of warranty.
-
@node Acknowledgements
@section Acknowledgements
@node Acknowledgements
@section Acknowledgements