%% CIAO syntax
:- use_package([assertions]).  

:- comment(title,"Gathering all modules in a directory").

:- comment(author,"D. Cabeza, M. Carro").

:- comment(module,"A simple bash script for @concept{collecting files
   which are modules}, in order to compile automatically the CIAO libraries.

   @section{Usage (collect_modules)}

   @begin{verbatim}
   Usage: collect_modules module_name
   @end{verbatim}

   @section{More details}

   Look at the Makefiles in lib and library

").


main.

:- comment(version(0*0+1,2002/01/03,17:40*19+'CET'), "It now prints
dots as compilations progresses (it was pretty boring before).
(MCL)").

:- comment(version(0*0+0,1998/08/12,19:53*41+'MET DST'), "Working.
   (MCL)").

%% Version comment prompting control for this file.
%% Local Variables: 
%% mode: CIAO
%% update-version-comments: "on"
%% End:

