Remove readmePrefix dependency for subdirs in dandelion

CakeML · Dec 8, 2022 · 0bce440 · 0bce440
1 parent b5b4694
commit 0bce440
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/floatingPoint/tools/dandelion/Holmakefile b/floatingPoint/tools/dandelion/Holmakefile
@@ -7,7 +7,7 @@ all: $(DEFAULT_TARGETS) README.md
 
 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)
+README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(README_SOURCES)
 	$(CAKEMLDIR)/developers/readme_gen $(README_SOURCES)
 
 EXTRA_CLEANS = sollya-8.0/*
diff --git a/...t/tools/dandelion/sollya-8.0/readmePrefix → ...oint/tools/dandelion/sollya-8.0/README.md b/...t/tools/dandelion/sollya-8.0/readmePrefix → ...oint/tools/dandelion/sollya-8.0/README.md