Merge branch 'master' into core-updates
gnu: Add tinyproxy. * gnu/packages/web.scm (tinyproxy): New variable. * gnu/packages/docbook.scm: Remove #:select (tar)
Merge branch 'master' into core-updates
gnu: Add DocBook DTD and XSL style sheets. * gnu/packages/docbook.scm: New file. * gnu-system.am (GNU_SYSTEM_MODULES): Add it.