* Documentation editor's edit/compile cycle::
* Building documentation::
* Saving time with @code{CPU_COUNT}::
+* AJAX search::
* Installing documentation::
* Building documentation without compiling::
@end menu
consistently even if @samp{make -j5} rarely succeeds.
+@node AJAX search
+@unnumberedsubsubsec AJAX search
+
+To build the documentation with interactive searching, use:
+
+@example
+make doc AJAX_SEARCH=1
+@end example
+
+This requires PHP, and you must view the docs via a http
+connection (you cannot view them on your local filesystem).
+
+@warning{Due to potential security or load issues, this option is
+not enabled in the official documentation builds. Enable at your
+own risk.}
+
+
@node Installing documentation
@unnumberedsubsubsec Installing documentation