In tests for PHP 8 disable Just-in-time, it conflicts with tools that determine coverage

[nominatim.git] / docs / bash2md.sh

#!/bin/sh
#
# Extract markdown-formatted documentation from a source file
#
# Usage: bash2md.sh <infile> <outfile>

sed '/^#!/d;s:^#\( \|$\)::;s/.*#DOCS://' $1 > $2