mirror of
https://github.com/Z3Prover/z3
synced 2025-04-22 16:45:31 +00:00
Removed old, unnecessary file.
This commit is contained in:
parent
134b93b43e
commit
ced6809cd8
1 changed files with 0 additions and 10 deletions
|
@ -1,10 +0,0 @@
|
|||
# This is a temporary support file for emacs annotations.
|
||||
# It does not compile the Z3 ML API; this will be built
|
||||
# in the top-level build directory.
|
||||
|
||||
all:
|
||||
ocamlbuild -cflag -annot z3.cmxa
|
||||
|
||||
doc: *.ml
|
||||
mkdir -p doc
|
||||
ocamldoc -html -d doc -I _build -sort *.mli -hide Z3
|
Loading…
Add table
Add a link
Reference in a new issue