2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ *)
14 module EG = RolesGlobal
15 module EE = RolesEngine
17 let open_out_html author description title css icon =
19 YW.open_out "application/xhtml+xml" 0;
21 KP.printf "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n";
22 KP.printf "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1//EN\" \"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd\">\n";
23 KP.printf "<html xmlns=\"http://www.w3.org/1999/xhtml\" dir=\"ltr\" lang=\"en-us\">\n";
25 KP.printf " <meta http-equiv=\"Pragma\" content=\"no-cache\"/>\n";
26 KP.printf " <meta http-equiv=\"Expires\" content=\"-1\"/>\n";
27 KP.printf " <meta http-equiv=\"CACHE-CONTROL\" content=\"NO-CACHE\"/>\n";
28 KP.printf " <meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\"/>\n";
29 KP.printf " <meta http-equiv=\"Content-Language\" content=\"en-us\"/>\n";
30 KP.printf " <meta http-equiv=\"Content-Style-Type\" content=\"text/css\"/>\n";
31 KP.printf " <meta name=\"author\" content=\"%s\"/>\n" author;
32 KP.printf " <meta name=\"description\" content=\"%s\"/>\n" description;
33 KP.printf " <title>%s</title>" title;
34 KP.printf " <link rel=\"stylesheet\" type=\"text/css\" href=\"%s\"/>\n" css;
35 KP.printf " <link rel=\"shortcut icon\" href=\"%s\"/>\n" icon;
36 KP.printf "</head>\n";
37 KP.printf "<body lang=\"en-US\">\n"
39 let close_out_html () =
40 KP.printf "</body>\n";
46 let author = "λδ development binary: roles manager" in
47 let description = "λδ development binary: roles manager" in
48 let title = "Roles Manager" in
49 let css = Filename.concat !EG.base_url "css/roles.css" in
50 let icon = Filename.concat !EG.base_url "images/crux_32.ico" in
51 open_out_html author description title css icon