chiark / gitweb /
doc: configure docbook stylesheet to generate reproducible IDs