Do not use a server-based search engine for the doxygen documentation.
authorTobias Frost <tobi@debian.org>
Sun, 27 Dec 2020 01:01:29 +0000 (01:01 +0000)
committerKurt Kremitzki <kkremitzki@debian.org>
Sun, 27 Dec 2020 01:01:29 +0000 (01:01 +0000)
commitad42d99cb9495acb5a1c7d1b45722b095efe5683
tree95bccbdd4e456603096ca45ce169d4f3f1722d2a
parent3e99b238e75e0cde3e9f3743b0c3f598ff6e4428
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