Add README target for FloVer

Author: HeikoBecker

icing/flover/Holmakefile

@@ -1,2 +1,7 @@
 INCLUDES = Infra semantics
 OPTIONS = QUIT_ON_FAILURE
+
+README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
+ DIRS = $(wildcard */)
+ README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
+ 	$(CAKEMLDIR)/developers/readme_gen $(README_SOURCES)