From b1f139b00447a99e84b6801154371ba7cc094ede Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Fri, 9 Jul 2010 14:59:37 +0100 Subject: [PATCH] Add config.mli to describe Config module. --- Makefile.am | 1 + config.mli | 27 +++++++++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 config.mli diff --git a/Makefile.am b/Makefile.am index 376413c..066ece8 100644 --- a/Makefile.am +++ b/Makefile.am @@ -24,6 +24,7 @@ CLEANFILES = *.cmi *.cmo *.cmx *.o guestfs-browser SOURCES = \ cmdline.mli \ cmdline.ml \ + config.mli \ config.ml \ filetree.mli \ filetree.ml \ diff --git a/config.mli b/config.mli new file mode 100644 index 0000000..7bfc623 --- /dev/null +++ b/config.mli @@ -0,0 +1,27 @@ +(* Guestfs Browser. + * Copyright (C) 2010 Red Hat Inc. + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License along + * with this program; if not, write to the Free Software Foundation, Inc., + * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. + *) + +(** Configuration supplied by autoconf. + + This module is generated by running [./configure], and + contains miscellaneous compile-time constants. *) + +val package : string + (** The package name. *) +val version : string + (** The version number as a string. *) -- 1.8.3.1