]> git.openstreetmap.org Git - nominatim.git/blob - docs/bash2md.sh
PHP related FAQ entries are no longer needed
[nominatim.git] / docs / bash2md.sh
1 #!/bin/sh
2 #
3 # Extract markdown-formatted documentation from a source file
4 #
5 # Usage: bash2md.sh <infile> <outfile>
6
7 sed '/^#!/d;s:^#\( \|$\)::;s/.*#DOCS://' $1 > $2