[paparazzi-commits] [paparazzi/paparazzi] 80b2c9: [ocaml] fix SRTM download path (#2659)

[Gautier Hattenberger]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 80b2c91a39a098ba0e1c78dabd7d5d584b240c5d
      
https://github.com/paparazzi/paparazzi/commit/80b2c91a39a098ba0e1c78dabd7d5d584b240c5d
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2021-02-11 (Thu, 11 Feb 2021)

  Changed paths:
    R data/srtm/srtm.data.bz2
    M sw/lib/ocaml/mapCanvas.ml
    M sw/lib/ocaml/srtm.ml
    M sw/lib/ocaml/srtm.mli

  Log Message:
  -----------
  [ocaml] fix SRTM download path (#2659)

SRTM data are no more available for direct download, using ESA data
instead. The new SRTM data are SRTM3 GL1 (1 arcsec instead of 3
previously), so the code is now adapted to support both formats,
the most accurate available will be used first.
The only way to force the update of new files is to remove the previous
ones from data/srtm folder.

close #2642