chiark
/
gitweb
/
~mdw
/
sod
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
doc/: Switch to a manually maintained bibliography database.
[sod]
/
doc
/
sod.tex
diff --git
a/doc/sod.tex
b/doc/sod.tex
index 1e2a1a66653063ee902f1bfdbe9137874d98e712..9b2964d2abfa9650aef62b539f5b5a5ff2b5886c 100644
(file)
--- a/
doc/sod.tex
+++ b/
doc/sod.tex
@@
-174,9
+174,7
@@
%%%--------------------------------------------------------------------------
\backmatter
-\bibliography{%
- isostd,%
- sigplan1990}
+\bibliography{sod}
\printindex
%%%----- That's all, folks --------------------------------------------------