Do not use a server-based search engine for the doxygen documentation.
authorTobias Frost <tobi@debian.org>
Wed, 8 Apr 2020 12:12:47 +0000 (13:12 +0100)
committerTobias Frost <tobi@debian.org>
Wed, 8 Apr 2020 12:12:47 +0000 (13:12 +0100)
commit10e11b65ef151ba7d8e0c0923768b3f7da279261
treeacf2f755b06b486ad7b497f19c430dda16792ebd
parent1c5aa1a4fe694a515e81afdc318950ddf731b6ad
Do not use a server-based search engine for the doxygen documentation.

Origin: <upstream|backport|vendor|other>, <URL, required except if Author is present>
Bug: <URL to the upstream bug report if any, implies patch has been forwarded, optional>
Bug-Debian: https://bugs.debian.org/914498
Forwarded: not-needed, Debian specific
Last-Update: 2020-04-08

As this would require a webserver with php enabled.
Last-Update: 2020-04-08
Gbp-Pq: Name do-not-use-doxygen-searchengine.patch
dox/CMakeLists.txt
dox/resources/occt_ug_html.doxyfile