On Sun, 21 Nov 2021, Sven Schreiber wrote:
Actually I had done that, and now I've done it again, and still
getting
the same error. Will check on a native Linux machine with a "cleaner"
git state.
"make pdfdocs" is working fine here. Are you on the master branch?
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------