hol --help

[myreen]

I can't seem to find any documentation about command-line arguments for hol. Holmake's command-line arguments are well documented, both in the Description and also Holmake --help.

Are there command-line arguments for hol? If there are, then there should also be support for hol --help for listing the available command-line arguments.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

[mn200]

I agree there's no real documentation here. The short answer is that are no command-line arguments. This is basically because I don't know what to do to make the arguments handled uniformly across Windows and Unix.

[xrchz]

hol --help does produce output... But maybe it's not the output you want? This seems related to #1602