trim binary package

Makefile

@@ -116,23 +116,13 @@ save:
 INSTALL_EXEC := install
 install_dir = cd $(1) && find . -type f -exec $(INSTALL_EXEC) -m 644 -D {} $(PREFIX)/$(2)/{} \;
 
-.PHONY: install-sides
-install-sides:
-	@# Then the examples (those now work from any F* installation flavor, sources, binary package or opam)
-	@# ucontrib is needed by examples/crypto
-	$(call install_dir,examples,share/fstar/examples)
-	$(call install_dir,ucontrib,share/fstar/contrib)
-	@# Then the tutorial????
-
 .PHONY: install
 install: stage2
 	if [ -z "$(PREFIX)" ]; then echo "PREFIX not set" >&2; false; fi
 	@# Install the binary and the binary library
 	cd stage2 && dune install --profile=release --prefix=$(PREFIX)
 	@# Then the standard library sources and checked files
 	+$(MAKE) -C $(FSTAR_HOME)/ulib install
-	@# Then the rest
-	+$(MAKE) install-sides
 
 .PHONY: package
 package: