diff options
author | Florian Müllner <fmuellner@gnome.org> | 2012-09-03 09:15:47 +0200 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2012-09-03 10:19:17 +0200 |
commit | 0fe27b5d0d5e0604679f50160b79df3319b325a5 (patch) | |
tree | a2dff2039df8ea67e3125fe205182e87df4234e1 /doc/Makefile.am | |
parent | 312016886362e2dad4e831bacc2ae952eb6cf0d5 (diff) | |
download | metacity-0fe27b5d0d5e0604679f50160b79df3319b325a5.tar.gz |
build: Port themes documentation to yelp-tools
gnome-doc-utils is considered deprecated, so documentation using
it should be dropped or moved to the new yelp-tools.
Given that the theme format is rather cryptic, still used by mutter
and documentation on it quite spare, dropping the documentation in
question doesn't seem like a good idea, so move to yelp-tools instead.
As this effectively adds a dependency on GNOME 3, provide a configure
switch to disable the documentation to allow builds on "pure" GNOME 2.x
systems.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 09feb1da..6784ec22 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,4 +1,8 @@ -SUBDIRS = man creating_themes +SUBDIRS = man + +if BUILD_THEMES_DOCS + SUBDIRS += creating_themes +endif EXTRA_DIST=theme-format.txt metacity-theme.dtd dialogs.txt code-overview.txt \ how-to-get-focus-right.txt |