diff --git a/stubdom/Makefile b/stubdom/Makefile
index 9dac103981..2f9ca52a37 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -472,6 +472,8 @@ install-grub: pv-grub
 	$(INSTALL_DIR) "$(DESTDIR)$(XENFIRMWAREDIR)"
 	$(INSTALL_DATA) mini-os-$(XEN_TARGET_ARCH)-grub/mini-os.gz "$(DESTDIR)$(XENFIRMWAREDIR)/pv-grub-$(XEN_TARGET_ARCH).gz"
 
+install-c: c-stubdom
+
 install-caml: caml-stubdom
 
 install-xenstore: xenstore-stubdom