If gtk-doc is not installed and gtk-doc is generated, we get a horrible build error. We should do better than this. FAILED: cd /home/mcatanzaro/WebKit/WebKitBuild/Release && CC=/usr/lib64/ccache/cc CFLAGS= /home/mcatanzaro/WebKit/Tools/gtk/generate-gtkdoc --skip-html && touch docs-build-no-html.stamp Copying template files to output directory... Running gtkdoc-scan Generating webkitdomgtk-4.0 documentation... Traceback (most recent call last): File "/home/mcatanzaro/WebKit/Tools/gtk/generate-gtkdoc", line 201, in <module> saw_warnings = generate_documentation(webkitdom_generator) File "/home/mcatanzaro/WebKit/Tools/gtk/generate-gtkdoc", line 148, in generate_documentation return generate_doc(generator, arguments.skip_html) File "/home/mcatanzaro/WebKit/Tools/gtk/generate-gtkdoc", line 134, in generate_doc generator.generate(not skip_html) File "/home/mcatanzaro/WebKit/Tools/gtk/gtkdoc.py", line 142, in generate self._run_gtkdoc_scan() File "/home/mcatanzaro/WebKit/Tools/gtk/gtkdoc.py", line 309, in _run_gtkdoc_scan self._run_command(args) File "/home/mcatanzaro/WebKit/Tools/gtk/gtkdoc.py", line 192, in _run_command stderr=subprocess.PIPE) File "/usr/lib64/python2.7/subprocess.py", line 710, in __init__ errread, errwrite) File "/usr/lib64/python2.7/subprocess.py", line 1335, in _execute_child raise child_exception OSError: [Errno 2] No such file or directory
gtk-doc is gone.