[vala] (8 commits) Non-fast-forward update to branch wip/manual

[Rico Tzschichholz <ricotz src gnome org>]

The branch 'wip/manual' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  7c0e02d... manual: Add version information and copyright to manual
  2b17b2f... manual: Generate section and sub-section numbers
  11f1b31... manual: Add navigation links to top bar
  fcd07dc... manual: Correct link to 'Expressions/Member access' in 'Sco
  4ff9ae6... manual: Add print target for single page HTML and CSS paged
  8a82eff... manual: Add pdf target that uses WeasyPrint
  dc19bc1... manual: Add a README about editing the manual
  9d7093e... WIP tweaks

Commits added to the branch:

  510c93e... manual: Update from wiki.gnome.org
  d22702f... manual: Add version information and copyright to manual
  74dab28... manual: Generate section and sub-section numbers
  da8cd7c... manual: Add navigation links to top bar
  b4547a9... manual: Add print target for single page HTML and CSS paged
  6ccb53d... manual: Add pdf target that uses WeasyPrint
  80ee725... manual: Add a README about editing the manual
  34ca334... WIP tweaks