build_inf.sh: fixes for debian build
[pti/rtp.git] / docs / installation.md
2019-10-31 Jackie Huangdocs: add installation.md 85/1285/1