How to skip restydoc-index in builds?

pierre.tempel · 2019-06-12T19:43:44+00:00

Is it just me or is the luajit project pretty dead of late?@agentzh do you know if it's sill being maintained?

How to skip restydoc-index in builds?

pierre.tempel

Hi,

I'm building OR from source, and all "restydoc-index" take up to 90% of the build time. How I can I skip any and all docs steps in the build? I'm not using the tarball, I'm bootstrapping the build from the actual openresty repository.

Cheers