[GRASS-git] [OSGeo/grass-addons] 72feee: cronjobs: manual search form added (#388)

[Markus Neteler]

  Branch: refs/heads/master
  Home:   https://github.com/OSGeo/grass-addons
  Commit: 72feee9a0eee789ad6f399381569d89e27d80900
      https://github.com/OSGeo/grass-addons/commit/72feee9a0eee789ad6f399381569d89e27d80900
  Author: Markus Neteler <neteler at gmail.com>
  Date:   2021-02-28 (Sun, 28 Feb 2021)

  Changed paths:
    M tools/cronjobs_osgeo_lxd/cron_grass78_releasebranch_78_build_bins.sh
    M tools/cronjobs_osgeo_lxd/cron_grass7_HEAD_build_bins.sh

  Log Message:
  -----------
  cronjobs: manual search form added (#388)

A DuckDuckGo based manual site search field is injected during compilation.

Rationale: unless we don't change the manual pages to e.g. Sphinx, or install an own search engine, this way we have at least a search form.