diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.am | 4 | ||||
| -rw-r--r-- | src/htm/Makefile.am | 14 |
2 files changed, 18 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 78856692..6cb77148 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -12,3 +12,7 @@ gtk_fe = fe-gtk endif SUBDIRS = pixmaps common $(gtk_fe) $(text_fe) + +if WITH_TM +SUBDIRS += htm +endif diff --git a/src/htm/Makefile.am b/src/htm/Makefile.am new file mode 100644 index 00000000..4a7c54ff --- /dev/null +++ b/src/htm/Makefile.am @@ -0,0 +1,14 @@ +MDTOOL_OPTS = --verbose + +theme_SCRIPTS = thememan.exe thememan +themedir = $(bindir) + +thememan.exe: htm-mono.csproj + $(MDTOOL) $(MDTOOL_OPTS) build $< + +thememan: + @echo "#!/bin/sh" > $@ + @echo "exec mono /usr/bin/thememan.exe \"$@\"" >> $@ + +clean-local: + rm -f thememan.exe thememan.exe.config thememan.exe.mdb thememan Main.resources |