Do not use a server-based search engine for the doxygen documentation.
authorTobias Frost <tobi@debian.org>
Sat, 25 Apr 2020 18:53:17 +0000 (19:53 +0100)
committerTobias Frost <tobi@debian.org>
Sat, 25 Apr 2020 18:53:17 +0000 (19:53 +0100)
commit9ef8d4f7eb1d11f99c499cbe2ad08c5987ab63c2
tree7edc1a1a0c81a4d39d0d605ee203a1042057d660
parentf2fe3f58b83d08de9e810fdd121f5edfb67ecf71
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