git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add an explicit interface config.mli.
[whenjobs.git]
/
lib
/
Makefile.am
diff --git
a/lib/Makefile.am
b/lib/Makefile.am
index
3d72b24
..
cbd0a28
100644
(file)
--- a/
lib/Makefile.am
+++ b/
lib/Makefile.am
@@
-28,6
+28,7
@@
OCAMLOPTFLAGS = $(OCAMLCFLAGS)
# These should be in alphabetical order.
SOURCES = \
config.ml \
+ config.mli \
whenfile.ml \
whenfile.mli \
whenlock.ml \