Codebase list gnat-gps / 568d38c
Disable sphinx parallelism (revert e76bbbf9) ada/debian_packaging.mk is absent during -arch build, so BUILDER_JOBS is not set. Nicolas Boulenguez 3 years ago
1 changed file(s) with 1 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
166166
167167 # Note: see docs/users_guide/GPS/generated_hooks.py above.
168168 $(DOCS):
169 $(MAKE) -C $(dir $@) html latexpdf SPHINXOPTS=-j$(BUILDER_JOBS)
169 $(MAKE) -C $(dir $@) html latexpdf
170170
171171 override_dh_auto_clean::
172172 rm -fr $(DOCS)