Re: Building of docs does not work anymore

2023-06-07 Thread John Snow
On Wed, Jun 7, 2023 at 5:46 AM Thomas Huth wrote: > > On 07/06/2023 11.42, Thomas Huth wrote: > > > > Hi Paolo, hi John, > > > > since the recent reworks with the Python venv, building of the docs does not > > work for me on my RHEL 8 installation anymore. > > > > If I just run "configure" witho

Re: Building of docs does not work anymore

2023-06-07 Thread Thomas Huth
On 07/06/2023 11.42, Thomas Huth wrote:  Hi Paolo, hi John, since the recent reworks with the Python venv, building of the docs does not work for me on my RHEL 8 installation anymore. If I just run "configure" without any additional arguments, I get: - 8< --

Building of docs does not work anymore

2023-06-07 Thread Thomas Huth
Hi Paolo, hi John, since the recent reworks with the Python venv, building of the docs does not work for me on my RHEL 8 installation anymore. If I just run "configure" without any additional arguments, I get: - 8< - $ ./configure Using '