From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- web/noweb/src/xdoc/doversion | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 web/noweb/src/xdoc/doversion (limited to 'web/noweb/src/xdoc/doversion') diff --git a/web/noweb/src/xdoc/doversion b/web/noweb/src/xdoc/doversion new file mode 100755 index 0000000000..bc8ceef2a6 --- /dev/null +++ b/web/noweb/src/xdoc/doversion @@ -0,0 +1,2 @@ +#!/bin/sh +sed '/^version $Name:/s/_/./g;/^version $Name:/s/ $\././;/^version $Name:/s/$Name: v//' -- cgit v1.2.3