add manual.html generated from manual.org

This commit is contained in:
Noam Postavsky
2013-11-24 12:29:32 -05:00
parent 8b4ea83b50
commit 695211b761
2 changed files with 1798 additions and 0 deletions

1705
manual.html Normal file

File diff suppressed because it is too large Load Diff