diff --git a/Makefile.in b/Makefile.in index d38904b3a..1e5dbfd39 100755 --- a/Makefile.in +++ b/Makefile.in @@ -861,6 +861,7 @@ install_library: @YAPLIB@ install_data: install_copied_files install_bin @ENABLE_CHR@ (cd packages/chr ; $(MAKE) install) + @ENABLE_CHR@ (cd packages/chr ; $(MAKE) install-examples) @ENABLE_CHR@ (cd packages/clpqr ; $(MAKE) install) install_copied_files: