@node Notes
@unnumbered Implementation notes
+Since there are no strict rules about redo behaviour, here are some
+remarks about @command{goredo}'s one:
+
@itemize
@item @file{all} target is default
@item target's completion messages are written after they finish
@item executable @file{.do} is run as is, non-executable is run with
@code{/bin/sh -e[x]}
-@item tracing (-x) can be obviously done only for non-executable @file{.do}
+@item tracing (@option{-x}) can be obviously done only for
+ non-executable @file{.do}
@item parallizable build is done only during @command{redo-ifchange} for
human convenience: you can globally enable @env{REDO_JOBS}, but
still do for example: @code{redo htmls infos index upload}