diff options
Diffstat (limited to '')
-rw-r--r-- | backends/hol4/Holmakefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/backends/hol4/Holmakefile b/backends/hol4/Holmakefile index 49cc6da7..3e5606fb 100644 --- a/backends/hol4/Holmakefile +++ b/backends/hol4/Holmakefile @@ -2,8 +2,3 @@ INCLUDES = all: $(DEFAULT_TARGETS) .PHONY: all - -README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml) -DIRS = $(wildcard */) -README.md: $(README_SOURCES) - $(README_SOURCES) |