From: Richard W.M. Jones Date: Thu, 23 Feb 2012 11:35:18 +0000 (+0000) Subject: Reorder SOURCES for consistency. X-Git-Tag: 0.0.3~11 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ebe6d6b9e63f444d4f257d7fad4439a62267e48f;p=whenjobs.git Reorder SOURCES for consistency. --- diff --git a/lib/Makefile.am b/lib/Makefile.am index 967cfd0..99ace91 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -37,8 +37,8 @@ SOURCES = \ whenlock.mli \ whenproto_aux.ml \ whenproto_aux.mli \ - whenutils.mli \ - whenutils.ml + whenutils.ml \ + whenutils.mli # In alphabetical order. CMI_FILES = \