From 08fd4f2dd73f198ad12a219fac91f743e3c9c6b6 Mon Sep 17 00:00:00 2001 From: hasufell Date: Wed, 28 Aug 2013 02:55:08 +0200 Subject: BUILD: use thememan.in instead of Makefile echo --- src/htm/thememan.in | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 src/htm/thememan.in (limited to 'src/htm/thememan.in') diff --git a/src/htm/thememan.in b/src/htm/thememan.in new file mode 100644 index 00000000..f6f80df6 --- /dev/null +++ b/src/htm/thememan.in @@ -0,0 +1,3 @@ +#!/bin/sh +exec_prefix="@exec_prefix@" +exec mono "@bindir@/thememan.exe" "$@" -- cgit 1.4.1