24.1 Check for allprose.tex

In myalps.tex.nw appears a line¹² that contains

It includes the ALLPROSE documentation if ∖ifIncludeALLPROSEDocumentation expands to true. By default the ALLPROSE documentation is not included. See also include-allprose-documentation in Section 28.10.3.

Since it is perfectly possible (and actually intended) that the documentation of ALLPROSE should not be repeated in the documentation of the library, the library documentation still can contain optional references in case allprose.tex.nw is included. One simply has to put the additional documentation into a form like this.