doc/: Switch to a manually maintained bibliography database.

[sod] / doc / sod.tex

diff --git a/doc/sod.tex b/doc/sod.tex
index 1e2a1a6..9b2964d 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 --------------------------------------------------