Michael DeHaan fc9a6bb07c Docs/json should not be checked in

2012-10-10 18:41:50 -04:00

..

js

Unified document generator and make to generate JSON and JS files

2012-10-10 18:41:50 -04:00

man

Keep the man3 directory. 'make docs' breaks without it.

2012-10-08 12:28:20 -04:00