diff --git a/Makefile b/Makefile
index 1a1772f..35bfa80 100644
--- a/Makefile
+++ b/Makefile
@@ -99,6 +99,8 @@ install_documentation: documentation
 .PHONY: install_share
 install_share: share
 	cd $(CUR_DIR)/share && make install; cd $(CUR_DIR)
+	echo grammar compilation...
+	dgc
 
 # ------------------------------------------------------------------
 # uninstall section