summary refs log tree commit diff stats
path: root/src/htm
diff options
context:
space:
mode:
authorTingPing <TingPing@users.noreply.github.com>2013-08-28 10:21:37 -0700
committerTingPing <TingPing@users.noreply.github.com>2013-08-28 10:21:37 -0700
commit012b9c478e7d69de83fc5b1b756a6ccb564ff6d5 (patch)
treedaa0e34832d482bc724b561f541c363479e28e2d /src/htm
parent36b84c9af321effa39a06a2b137f094ab8c50bd8 (diff)
parent5d35ecfaa9eae70a14218eada1b1cf695d789f3a (diff)
Merge pull request #730 from hasufell/mono
BUILD: add --with-theme-manager configure option
Diffstat (limited to 'src/htm')
-rw-r--r--src/htm/Makefile.am12
-rw-r--r--src/htm/thememan.in3
2 files changed, 15 insertions, 0 deletions
diff --git a/src/htm/Makefile.am b/src/htm/Makefile.am
new file mode 100644
index 00000000..85480402
--- /dev/null
+++ b/src/htm/Makefile.am
@@ -0,0 +1,12 @@
+MDTOOL_OPTS = --verbose
+
+theme_SCRIPTS = thememan.exe thememan
+themedir = $(bindir)
+
+thememan.exe: htm-mono.csproj
+	$(MDTOOL) $(MDTOOL_OPTS) build $<
+
+clean-local:
+	rm -f thememan.exe thememan.exe.config thememan.exe.mdb thememan Main.resources
+
+EXTRA_DIST = 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" "$@"