Commit 178fd763 authored by Idir Lankri's avatar Idir Lankri

Rename link to corpus manager in the bottom bar

parent aef116e9
...@@ -51,7 +51,7 @@ and parser_cgi = cgi_bin Paths.cgi_parser (* parser *) ...@@ -51,7 +51,7 @@ and parser_cgi = cgi_bin Paths.cgi_parser (* parser *)
and graph_cgi = cgi_bin Paths.cgi_graph (* summarizer graphical interface *) and graph_cgi = cgi_bin Paths.cgi_graph (* summarizer graphical interface *)
and user_aid_cgi = cgi_bin Paths.cgi_user_aid (* unknown chunks processing *) and user_aid_cgi = cgi_bin Paths.cgi_user_aid (* unknown chunks processing *)
and sandhier_cgi = cgi_bin Paths.cgi_sandhier (* sandhier *) and sandhier_cgi = cgi_bin Paths.cgi_sandhier (* sandhier *)
and manager_cgi = cgi_bin Paths.cgi_manager (* Corpus manager *) and corpus_manager_cgi = cgi_bin Paths.cgi_corpus_manager (* Corpus manager *)
and save_corpus_cgi = cgi_bin Paths.cgi_save_corpus and save_corpus_cgi = cgi_bin Paths.cgi_save_corpus
; ;
(* Absolute paths on development site *) (* Absolute paths on development site *)
...@@ -521,7 +521,7 @@ value print_site_map dyn lang = (* the various Web services of the site *) ...@@ -521,7 +521,7 @@ value print_site_map dyn lang = (* the various Web services of the site *)
; ps (anchor_ref (grammar_page_url lang) (emph "Grammar")); pl " | " ; ps (anchor_ref (grammar_page_url lang) (emph "Grammar")); pl " | "
; ps (anchor_ref (sandhi_page_url lang) (emph "Sandhi")); pl " | " ; ps (anchor_ref (sandhi_page_url lang) (emph "Sandhi")); pl " | "
; ps (anchor_ref (reader_page_url lang) (emph "Reader")); pl " | " ; ps (anchor_ref (reader_page_url lang) (emph "Reader")); pl " | "
; ps (anchor_ref manager_cgi (emph "Manager")); pl " | " ; ps (anchor_ref corpus_manager_cgi (emph "Corpus")); pl " | "
; ps (anchor_ref (faq_page_url lang) (emph "Help")); pl " | " ; ps (anchor_ref (faq_page_url lang) (emph "Help")); pl " | "
; pl (anchor_ref (portal_page_url lang) (emph "Portal")) ; pl (anchor_ref (portal_page_url lang) (emph "Portal"))
} }
...@@ -532,7 +532,7 @@ value print_site_map dyn lang = (* the various Web services of the site *) ...@@ -532,7 +532,7 @@ value print_site_map dyn lang = (* the various Web services of the site *)
; ps (anchor_ref (dico_grammar_page lang) (emph "Grammar")); pl " | " ; ps (anchor_ref (dico_grammar_page lang) (emph "Grammar")); pl " | "
; ps (anchor_ref (dico_sandhi_page lang) (emph "Sandhi")); pl " | " ; ps (anchor_ref (dico_sandhi_page lang) (emph "Sandhi")); pl " | "
; ps (anchor_ref (dico_reader_page lang) (emph "Reader")); pl " | " ; ps (anchor_ref (dico_reader_page lang) (emph "Reader")); pl " | "
; ps (anchor_ref manager_cgi (emph "Manager")); pl " | " ; ps (anchor_ref corpus_manager_cgi (emph "Corpus")); pl " | "
; ps (anchor_ref (rel_faq_page_url lang) (emph "Help")); pl " | " ; ps (anchor_ref (rel_faq_page_url lang) (emph "Help")); pl " | "
; pl (anchor_ref (rel_portal_page_url lang) (emph "Portal")) ; pl (anchor_ref (rel_portal_page_url lang) (emph "Portal"))
} }
...@@ -615,6 +615,11 @@ value close_html_dico () = close_html_file Html.French True ...@@ -615,6 +615,11 @@ value close_html_dico () = close_html_file Html.French True
; ;
value http_header = "Content-Type: text/html\n" value http_header = "Content-Type: text/html\n"
; ;
(* Print the HTTP header only when it is required, i.e. only if it is
a CGI output. *)
value maybe_http_header () =
if output_channel.val = stdout then pl http_header else ()
;
value javascript_tooltip ="wz_tooltip.js" value javascript_tooltip ="wz_tooltip.js"
; ;
(* This could be any absolute server where Platform is installed *) (* This could be any absolute server where Platform is installed *)
......
...@@ -487,7 +487,7 @@ Artwork credits</h2> ...@@ -487,7 +487,7 @@ Artwork credits</h2>
<a href="DICO/grammar.#LANG.html"><strong>Grammar</strong></a> | <a href="DICO/grammar.#LANG.html"><strong>Grammar</strong></a> |
<a href="DICO/sandhi.#LANG.html"><strong>Sandhi</strong></a> | <a href="DICO/sandhi.#LANG.html"><strong>Sandhi</strong></a> |
<a href="DICO/reader.#LANG.html"><strong>Reader</strong></a> | <a href="DICO/reader.#LANG.html"><strong>Reader</strong></a> |
<a href="/cgi-bin/heritage-platform/manager.cgi"><b>Manager</b></a> | <a href="/cgi-bin/heritage-platform/sktcorpus.cgi"><b>Corpus</b></a> |
<a href="faq.#LANG.html"><strong>Help</strong></a> | <a href="faq.#LANG.html"><strong>Help</strong></a> |
<a href="portal.#LANG.html"><strong>Portal</strong></a> <a href="portal.#LANG.html"><strong>Portal</strong></a>
</td></tr><tr><td>© Gérard Huet 1994-2017</td></tr></table></td><td> </td></tr><tr><td>© Gérard Huet 1994-2017</td></tr></table></td><td>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment