diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2013-03-05 00:04:32 +0000 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2013-03-05 00:22:21 +0000 |
commit | 65d6c8c32ee23a34f8fbe1fbb76dd4faf0e28d0c (patch) | |
tree | e26f00caf8be212f1523cfd2f450777f6c5f8dc0 | |
parent | f3659d35a0fb7aac04cd30533a1acaf53f87a151 (diff) | |
download | clutter-65d6c8c32ee23a34f8fbe1fbb76dd4faf0e28d0c.tar.gz |
build: Dist the cookbook
So that we can publish it starting from the tarballs.
-rw-r--r-- | doc/cookbook/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/cookbook/Makefile.am b/doc/cookbook/Makefile.am index c9702421f..6c335707a 100644 --- a/doc/cookbook/Makefile.am +++ b/doc/cookbook/Makefile.am @@ -130,6 +130,10 @@ clean-local: rm -f *.pdf ; \ rm -f *.stamp +dist-hook: + mkdir $(distdir)/html + cp -r ./html/* $(distdir)/html + uninstall-local: @rm -rf $(DESTDIR)$(TARGET_DIR) @rm -f $(DESTDIR)$(TARGET_DIR)/clutter-cookbook.devhelp |