Jean-Marc Lasgouttes wrote: > 5. Remove the TOC docs from the repository and create them at "make dist" > time > > This would avoid python for installation.
This is the best solution IMO if the premise is to have no python build dependency. I'll prepare a patch. Georg