diff options
| -rw-r--r-- | .gitignore | 5 | ||||
| -rw-r--r-- | backends/hol4/Holmakefile | 5 |
2 files changed, 5 insertions, 5 deletions
@@ -57,6 +57,11 @@ tests/fstar/misc/obj/ *Makefile.coq *CoqMakefile.conf +# HOL4 +.HOLMK +.hollogs +.holobjs + # Misc /fstar-tests *~ 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) |