欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
DocBook
来自开放百科 - 灰狐
DocBook is an XML vocabulary that lets you create documents in a presentation-neutral form that captures the logical structure of your content. Using free tools along with the DocBook XSL stylesheets, you can publish your content as HTML pages and PDF files, and in many other formats.
Writing Documentation Using DocBook - http://docs.huihoo.com/xml/using-docbook/
编辑DocBook XML文档 - http://ldp.huihoo.org/linuxfocus/ChineseGB/May2002/article201.shtml
Install
Debian
#apt-get install rxp // A validating XML parser #apt-get install docbook
分享您的观点