Jonathan S. Katz
wrote:
>
> On Aug 7, 2018, at 6:21 PM, Richard Swagerman
> wrote:
>
> Where is the content of the navfooter established?
> I would like to make some modifications to this footer, but I am unable to
> figure out where the source that generates it.
>
> I am
Where is the content of the navfooter established?
I would like to make some modifications to this footer, but I am unable to
figure out where the source that generates it.
I am building the documentation following the instructions from "Building
The Documentation" in Appendix J, currently on 9.6.
