This book is produced by the Wikbook tool. Wikbook is an open source project for converting wiki files into a set of docbook files.