flink-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "David Anderson (JIRA)" <j...@apache.org>
Subject [jira] [Created] (FLINK-7136) Docs search can be customized to be more useful
Date Fri, 07 Jul 2017 20:53:00 GMT
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

View raw message