diff options
author | Gustavo J. A. M. Carneiro <gjc@src.gnome.org> | 2006-07-22 11:36:54 +0000 |
---|---|---|
committer | Gustavo J. A. M. Carneiro <gjc@src.gnome.org> | 2006-07-22 11:36:54 +0000 |
commit | 1934fdcb05c1f882325ad8ae3514c335725232bf (patch) | |
tree | fc99cd0287202bc7a4b70c1e1be71a99f59fb0ed /Makefile.am | |
parent | 5854a2c3b7832419b3cb953a9864ef72df12f11a (diff) | |
download | pygtk-1934fdcb05c1f882325ad8ae3514c335725232bf.tar.gz |
make --disable-docs really work
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 5986c6b1..d47cb106 100644 --- a/Makefile.am +++ b/Makefile.am @@ -4,7 +4,10 @@ if BUILD_GTK GTK_SUBDIR = gtk endif -SUBDIRS = codegen . $(GTK_SUBDIR) docs examples tests +SUBDIRS = codegen . $(GTK_SUBDIR) examples tests +if ENABLE_DOCS +SUBDIRS += docs +endif PLATFORM_VERSION = 2.0 |