This book is written in DocBook XML on GNU/Linux Debian sid (amd64) system.
Outputs were produced with db2html and db2pdf.
Stylesheet for HTML output have been stolen and adapted from here.