Generated files are not described by their own section. They simply should be mentioned (and tagged with ∖genfile) when appropriated. At a place where they are defined, i. e., where one can see how they are generated, they should be tagged via ∖generatedfile. The command ∖generatedfile should appear exactly once for each file (counted over the whole of the .nw files).
The command ∖rhxhyperfile is used in accordance with the definition of ∖srcfile.
Generated files will be typeset in the style ∖generatedFileStyle in places they are mentioned via the command ∖generatedfile.