Next try fixing readme_gen

CakeML · Dec 8, 2022 · b5b4694 · b5b4694
1 parent 5204c4c
commit b5b4694
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/floatingPoint/libmGen/Holmakefile b/floatingPoint/libmGen/Holmakefile
@@ -2,7 +2,6 @@ INCLUDES = $(HOLDIR)/examples/formal-languages/context-free\
            $(CAKEMLDIR)/developers $(CAKEMLDIR)/misc\
 	   $(CAKEMLDIR)/unverified/sexpr-bootstrap\
 	   $(CAKEMLDIR)/semantics $(CAKEMLDIR)/characteristic\
-	   $(CAKEMLDIR)/icing\
 	   $(CAKEMLDIR)/floatingPoint/tools/flover\
 	   $(CAKEMLDIR)/floatingPoint/tools/dandelion
 

diff --git a/...oint/tools/dandelion/sollya-8.0/README.md → ...t/tools/dandelion/sollya-8.0/readmePrefix b/...oint/tools/dandelion/sollya-8.0/README.md → ...t/tools/dandelion/sollya-8.0/readmePrefix