| Branch: | Tag: | Revision:

root / htools @ 5a19bd35

Name Size
.gitattributes 21 Bytes
.gitignore 215 Bytes
AUTHORS 31 Bytes
Makefile 3.4 kB
NEWS 18.9 kB
haddock-prologue 360 Bytes
hail.hs 3.7 kB
hbal.hs 15.2 kB
hscan.hs 5.1 kB
hspace.hs 12 kB 4.8 kB
test.hs 2.6 kB

Latest revisions

# Date Author Comment
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 <>

562be46d 03/17/2011 06:38 pm Iustin Pop

Revert "Add temporary dir/file for htools import"

This reverts commit 8bc9e04a21457c4188475dc849d0d7d1e22ee929, not
needed anymore.

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

dc384cf0 03/17/2011 06:04 pm Iustin Pop

Merge remote branch 'htools/master'

  • htools/master: (605 commits)
    Update NEWS file for version 0.3.1
    Update copyright years in the man pages
    Remove obsolete env vars from the manpages
    Fix dist archive generation
    luxi backend: show attribute names in errors...
8bc9e04a 03/17/2011 05:29 pm Iustin Pop

Add temporary dir/file for htools import

In order for “git merge -s recursive -X subtree=htools” to do its
magic, an (mostly empty) directory must exist in the target tree name
‘htools’. Hence we add a temp file to it before the merge, and remove
it after that....

View revisions

Also available in: Atom