[MERGE] merged with main trunk

[odoo/odoo.git] / Makefile

diff --git a/Makefile b/Makefile
index 1d4f619..9e84e35 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all release clean
+.PHONY: all doc release clean
 
 HOST = 127.0.0.1
 PORT = 8080
@@ -23,6 +23,9 @@ clean:
        @rm -rf dist
        @rm -rf *.egg-info
 
+doc:
+       make -C doc html
+
 cloc:
        cloc addons/*/common/*.py addons/*/controllers/*.py addons/*/static/src/*.js addons/*/static/src/js/*.js addons/*/static/src/css/*.css addons/*/static/src/xml/*.xml