rename manual.org to index.org

This commit is contained in:
Noam Postavsky 2013-11-23 16:53:00 -05:00
parent c7c65163e5
commit d451fef0ab