[PATCH -perfbook 0/5] bib: URL updates

Hi Paul,

As I mentioned in the off-list message to you, it looks like some
(or most) of citeseerx URLs have stopped working for a while, probably
due to configuration errors.

Patch 1/5 replaces such URLs with (hopefully) more robust ones
or DOIs.

Patches 2/5--4/5 take care of URLs related to "Synthesis OS" and
add a lay summary article of LWN's in bib/os.bib.

Patch 5/5 employs underline-style hyperlink marker in bibliography
pages for 2c builds.  It avoids visual interference caused by
the current light-blue-border style.

There remain quite a few URLs under bib/ who need updates.
I'm going to take care of them.

        Thanks, Akira
--
Akira Yokosawa (5):
  bib: Replace citeseer{x} URLs
  bib/os: Update URLs of papers related to Synthesis OS
  bib/os: Add LWN's KHB article on Synthesis by Valerie (Feb 2008)
  defer: Cite Valerie's KHB article
  Use underline for url links in 2c builds' bibliography

 bib/RCU.bib      |  2 +-
 bib/WFS.bib      |  4 +---
 bib/hw.bib       |  2 +-
 bib/os.bib       | 28 +++++++++++++++++++++-------
 bib/syncrefs.bib |  2 +-
 defer/defer.tex  |  3 ++-
 perfbook-lt.tex  |  2 +-
 7 files changed, 28 insertions(+), 15 deletions(-)


base-commit: 971b39e51a1f3b808fe49088b9e3f3ef0c137aca
-- 
2.34.1