chiark / gitweb /
doc/: Switch to a manually maintained bibliography database.
[sod] / doc / sod.tex
index 1e2a1a66653063ee902f1bfdbe9137874d98e712..9b2964d2abfa9650aef62b539f5b5a5ff2b5886c 100644 (file)
 %%%--------------------------------------------------------------------------
 \backmatter
 
-\bibliography{%
-  isostd,%
-  sigplan1990}
+\bibliography{sod}
 \printindex
 
 %%%----- That's all, folks --------------------------------------------------