You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@flink.apache.org by "David Anderson (JIRA)" <ji...@apache.org> on 2017/07/07 20:53:00 UTC

[jira] [Created] (FLINK-7136) Docs search can be customized to be more useful

David Anderson created FLINK-7136:
-------------------------------------

             Summary: Docs search can be customized to be more useful
                 Key: FLINK-7136
                 URL: https://issues.apache.org/jira/browse/FLINK-7136
             Project: Flink
          Issue Type: Improvement
          Components: Documentation
    Affects Versions: 1.4.0
            Reporter: David Anderson
            Assignee: David Anderson


The google custom search engine we're using for search can be customized to make it more useful.

I propose to
    * turn of ads (since this site belongs to a non-profit org)
    * add additional sources of information
        * mailing lists
        * JIRA
        * FLIPs
        * stack overflow
        * flink forward talks
    * use refinements (tabs) to make it easy to navigate between these sources



--
This message was sent by Atlassian JIRA
(v6.4.14#64029)