Sebastiaan van Stijn 1cee02e7ae scripts: remove unused md2man from dev-tools ... Looks like md2man was never used in the build scripts, but got added in commit dc49f84dcc64940628505390a7be3394e4314482, possibly due to the script being copy/pasted from another project that does use it. While we may want to generate man-pages at some point in future, it looks like it's safe to remove for now. Signed-off-by: Sebastiaan van Stijn <github@gone.nl>		2020-08-26 11:30:13 +02:00
..
install-dev-tools	scripts: remove unused md2man from dev-tools	2020-08-26 11:30:13 +02:00