4308819b9d
printf is recommended instead of echo because it has a more predictable behavior than echo (tip from the POSIX standard ;-). Using it allow us to generate the _same_ manpage using sh, dash or bash. |
||
---|---|---|
.. | ||
gem-to-man.awk | ||
gen-man.sh | ||
kristall-head.man | ||
kristall-tail.man |