projects
/
pintos-anon
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
doc: Use texi2pdf instead of pdftex.
[pintos-anon]
/
doc
/
drwxr-xr-x
..
-rw-r--r--
232
.gitignore
blob
|
history
|
raw
-rw-r--r--
16473
44bsd.texi
blob
|
history
|
raw
-rw-r--r--
941
Makefile
blob
|
history
|
raw
-rw-r--r--
5473
bibliography.texi
blob
|
history
|
raw
-rw-r--r--
31072
debug.texi
blob
|
history
|
raw
-rw-r--r--
4702
devel.texi
blob
|
history
|
raw
-rw-r--r--
2291
doc.texi
blob
|
history
|
raw
-rw-r--r--
22585
filesys.texi
blob
|
history
|
raw
-rw-r--r--
5281
filesys.tmpl
blob
|
history
|
raw
-rw-r--r--
8169
installation.texi
blob
|
history
|
raw
-rw-r--r--
23354
intro.texi
blob
|
history
|
raw
-rw-r--r--
2689
license.texi
blob
|
history
|
raw
-rw-r--r--
7895
localcvsinstructions.texi
blob
|
history
|
raw
-rw-r--r--
2231
localsettings.texi
blob
|
history
|
raw
-rw-r--r--
574
pintos-t2h.init
blob
|
history
|
raw
-rw-r--r--
983
pintos.css
blob
|
history
|
raw
-rw-r--r--
1507
pintos.texi
blob
|
history
|
raw
-rw-r--r--
95472
reference.texi
blob
|
history
|
raw
-rw-r--r--
3971
sample.tmpl
blob
|
history
|
raw
-rw-r--r--
7164
standards.texi
blob
|
history
|
raw
-rwxr-xr-x
186758
texi2html
blob
|
history
|
raw
-rw-r--r--
223645
texinfo.tex
blob
|
history
|
raw
-rw-r--r--
34231
threads.texi
blob
|
history
|
raw
-rw-r--r--
5342
threads.tmpl
blob
|
history
|
raw
-rw-r--r--
50820
userprog.texi
blob
|
history
|
raw
-rw-r--r--
5356
userprog.tmpl
blob
|
history
|
raw
-rw-r--r--
34234
vm.texi
blob
|
history
|
raw
-rw-r--r--
5764
vm.tmpl
blob
|
history
|
raw