diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21T16·05+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21T16·05+0000 |
| commit | 1a9a1f2768bac5defe4c2e39e5a9ccdee0e05d55 (patch) | |
| tree | d3d0269ae4b2392edd5b547215fa527283c70725 /src | |
| parent | cc0505f033f9d7f55837dca7b3bb4fb3d2969afb (diff) | |
* Convert to DocBook 5.
* Use Jing for RelaxNG validation, xmllint seems buggy.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions