--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/helpers/str2ind-ver.c	Fri Oct 16 07:01:13 2020 +0000
@@ -0,0 +1,42 @@
+/*
+ * This utility extracts the timestamp from a str2ind.tab file
+ * and emits the corresponding char *str2ind_version C line.
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <strings.h>
+
+main(argc, argv)
+	char **argv;
+{
+	FILE *inf;
+	char buf[32], *cp;
+
+	if (argc != 2) {
+		fprintf(stderr, "usage: %s str2ind.tab\n", argv[0]);
+		exit(1);
+	}
+	inf = fopen(argv[1], "r");
+	if (!inf) {
+		perror(argv[1]);
+		exit(1);
+	}
+	if (!fgets(buf, sizeof buf, inf)) {
+inv:		fprintf(stderr,
+			"Error: %s does not have the expected first line\n",
+			argv[1]);
+		exit(1);
+	}
+	cp = index(buf, '\n');
+	if (!cp || cp == buf)
+		goto inv;
+	*cp = '\0';
+	if (cp[-1] == '\r')
+		*--cp = '\0';
+	if (cp != buf + 10)
+		goto inv;
+	printf("char *str2ind_version = \"&%s\";\n", buf);
+	exit(0);
+}