Statistics
| Branch: | Tag: | Revision:

root / man / hail.rst @ 3f1e065d

History | View | Annotate | Download (3 kB)

# Date Author Comment
9ff4f2c0 04/19/2011 04:11 pm Michael Hanselmann

Update manpages and other documents with editor settings

No rewrapping is done in this patch, just updates to the settings.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: René Nussbaumer <>

5a19bd35 03/18/2011 10:40 am Iustin Pop

Integrate htools man pages in the main tree

This moves the man pages to their right place, removes the static
footer and header, and adds Makefile rules for the new .1 man pages.

Signed-off-by: Iustin Pop <>
Reviewed-by: Michael Hanselmann <>