Skip to content
Snippets Groups Projects
  1. Mar 05, 2013
  2. Feb 28, 2013
  3. Feb 15, 2013
  4. Feb 12, 2013
  5. Feb 11, 2013
  6. Feb 08, 2013
  7. Feb 06, 2013
  8. Jan 31, 2013
  9. Jan 15, 2013
    • Michael Hanselmann's avatar
      Option to include man pages in documentation · 41806ef4
      Michael Hanselmann authored
      
      Before this patch, HTML versions of man pages (man/*.rst) were already
      built. However, since they are separate from the normal documentation,
      their content is not indexed for Sphinx' search functionality.
      Additionally it would simply be nice to have everything in one place.
      
      To this end a new configure-time option is added to enable the inclusion
      of man pages into the documentation. A dedicated option is necessary to
      still be able to provide a static documentation build in the tarball
      (not including man pages) as man pages contain build-specific paths and
      values. The documentation with man pages is written to the directory
      “doc/man-html”.
      
      A future patch will extend Sphinx to link occurences of “:manpage:`…`”
      to these man pages.
      
      Signed-off-by: default avatarMichael Hanselmann <hansmi@google.com>
      Reviewed-by: default avatarGuido Trotter <ultrotter@google.com>
      41806ef4
    • Dato Simó's avatar
      design-autorepair.rst: separate list of jobs with plus sign · 6d675203
      Dato Simó authored
      
      Commas are not valid characters in tags, hence they can't be use to
      separate the different job IDs; plus signs (+) are available, and not too
      bad.
      
      Signed-off-by: default avatarDato Simó <dato@google.com>
      Reviewed-by: default avatarIustin Pop <iustin@google.com>
      6d675203
  10. Jan 14, 2013
  11. Jan 09, 2013
  12. Jan 08, 2013
  13. Dec 28, 2012
  14. Dec 27, 2012
  15. Dec 24, 2012
  16. Dec 20, 2012
  17. Dec 19, 2012
  18. Dec 18, 2012
  19. Dec 17, 2012
  20. Dec 14, 2012
  21. Dec 13, 2012
  22. Dec 10, 2012
Loading