xmlrdf/commit
ADDED: Documentation infrastructure
| author | Jan Wielemaker |
|---|---|
| Tue Mar 29 16:02:34 2011 +0200 | |
| committer | Jan Wielemaker |
| Tue Mar 29 16:05:03 2011 +0200 | |
| commit | 768e23169b7233e853baf936ae7a503fc2a84110 |
| tree | 7b8e0901cd82a57cfb45f13cb877c4180ceb7159 |
| parent | 3e5cddd79decc33fbbdee86eb4784254aaad182e |
Diff style: stat patch
doc/.gitignore | 9 ++ doc/Makefile | 21 +++ doc/pldoc.sty | 497 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ doc/pltotex.pl | 111 +++++++++++++ doc/xmlrdf.tex | 33 ++++ 5 files changed, 671 insertions(+)