let the makefile choose the correct sed

[murinicanor]

there is no gsed on some systems (i.e. on debian, where i'm building the documentation), so let the makefile choose the correct sed variant

[coveralls]

Coverage remained the same at 100.0% when pulling 01f9ee5 on murinicanor:patch-1 into 98d48ef on nlohmann:develop.

[codecov-io]

Current coverage is 100%

Merging #279 into develop will not change coverage

@@           develop   #279   diff @@
=====================================
  Files            1      1          
  Lines         2097   2054    -43   
  Methods        296    296          
  Messages         0      0          
  Branches       294    294          
=====================================
- Hits          2097   2054    -43   
  Misses           0      0          
  Partials         0      0          

Powered by Codecov. Last updated by 98d48ef...01f9ee5

[nlohmann]

Thanks!

[nlohmann]

@murinicanor I realized that on OSX, sed and gsed are available, but only gsed can be used. So the code should be

SED:=$(shell command -v gsed || sed)

[murinicanor]

hi,

i've added a commit to the branch that changes the order of gsed and sed and also uses which to have the full path of sed: 0eb9f0c
(sorry, don't know if there's a way to update the pull request after its been merged)

[nlohmann]

No worries - I made the change myself.