Michael DeHaan dbeb26ad6d Don't check in modules.js either

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