diff options
| author | hasufell <hasufell@posteo.de> | 2013-08-28 00:39:15 +0200 |
|---|---|---|
| committer | hasufell <hasufell@posteo.de> | 2013-08-28 14:30:57 +0200 |
| commit | ce5653d75c29954e68c9c912e1c731306f9306fa (patch) | |
| tree | 306de2d5cb6f71c5816e6fcbb564ebba8ef0f747 /src | |
| parent | 36b84c9af321effa39a06a2b137f094ab8c50bd8 (diff) | |
BUILD: add --with-theme-manager configure option
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 |