Hi On Tue, Aug 9, 2016 at 5:08 PM Markus Armbruster <arm...@redhat.com> wrote:
> > > I don't mind. The following patches will generate the file. It could also > > generate it under docs/. But then other documentation should also be > > generated there. Let's leave itfor a different time. > > What other documentation is generated into the root of the build tree? > > Look at the Makefile distclean rule, most of the files are generated documentation. -- Marc-André Lureau
