[vala] (7 commits) ...manual: Add a README about editing the manual

Summary of changes:

  510c93e... manual: Update from wiki.gnome.org (*)
  5d846a2... manual: Add version information and copyright to manual
  0e6ca4c... manual: Generate section and sub-section numbers
  d4ae83c... manual: Add navigation links to top bar
  dcb8e4a... manual: Add print target for single page HTML and CSS paged
  8e70fb8... manual: Add pdf target that uses WeasyPrint
  9a8b135... manual: Add a README about editing the manual

(*) This commit already existed in another branch; no separate mail sent

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]