docs: make gen_contents_index --verbose more verbose
authorAustin Seipp <austin@well-typed.com>
Sun, 22 Mar 2015 19:11:22 +0000 (14:11 -0500)
committerAustin Seipp <austin@well-typed.com>
Sun, 22 Mar 2015 19:11:37 +0000 (14:11 -0500)
commite25ad0424019e9727a49a88ebea0092fdf17b467
treeb403815e2f9625ed513fe7d09b70835359493d0a
parentb4efac59ef5aac74d382d1fd57652982edddbe75
docs: make gen_contents_index --verbose more verbose

Signed-off-by: Austin Seipp <austin@well-typed.com>
libraries/gen_contents_index