nitdoc: convert dot to svg instead of png

[nit.git] / src / doc / html_templates / html_templates.nit

diff --git a/src/doc/html_templates/html_templates.nit b/src/doc/html_templates/html_templates.nit
index 3502bfc..bf14d90 100644 (file)
--- a/src/doc/html_templates/html_templates.nit
+++ b/src/doc/html_templates/html_templates.nit
@@ -88,7 +88,10 @@ redef class DocPage
                addn "<script src='{vendors}/jquery/jquery-1.11.1.min.js'></script>"
                addn "<script src='{vendors}/jquery/jquery-ui-1.10.4.custom.min.js'></script>"
                addn "<script src='{vendors}/bootstrap/js/bootstrap.min.js'></script>"
-               addn "<script data-main='{js}/nitdoc' src='{js}/lib/require.js'></script>"
+               addn "<script src='{js}/lib/utils.js'></script>"
+               addn "<script src='{js}/plugins/filtering.js'></script>"
+               addn "<script src='quicksearch-list.js'></script>"
+               addn "<script src='{js}/plugins/quicksearch.js'></script>"
                for script in scripts do add script
                addn """<script>
                        $(function () {
@@ -436,10 +439,6 @@ redef class ConcernSection
        redef var html_title is lazy do return "in {mentity.nitdoc_name}"
 end
 
-redef class ImportationListSection
-       redef var html_title is lazy do return "Dependencies"
-end
-
 redef class IntroArticle
        redef var html_title = null
 
@@ -537,8 +536,6 @@ redef class MEntitiesListArticle
 end
 
 redef class DefinitionLinArticle
-       redef var html_title is lazy do return "Linearization"
-
        redef fun render_body do
                var lst = new UnorderedList
                lst.css_classes.add "list-unstyled list-labeled"
@@ -562,16 +559,15 @@ end
 redef class GraphArticle
        redef var html_title = null
 
-       # HTML map used to display link.
+       # Graph in SVG with clickable map.
        #
        # This attribute is set by the `doc_render` phase who knows the context.
-       var map: String is noinit, writable
+       var svg: nullable String = null is writable
 
        redef fun render_body do
                addn "<div class=\"text-center\">"
-               addn " <img src='{graph_id}.png' usemap='#{graph_id}' style='margin:auto'"
-               addn "  alt='{title or else ""}'/>"
-               add map
+               var svg = self.svg
+               if svg != null then add svg
                addn "</div>"
        end
 end