]> git.tuebingen.mpg.de Git - paraslash.git/commit
Merge branch 'refs/heads/t/manual'
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 14 Jul 2017 12:50:43 +0000 (14:50 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 14 Jul 2017 12:56:18 +0000 (14:56 +0200)
commit8bbbc7f397b5068407928bd594a2dea921b8410e
tree73ea98e821f6b75af2d2211995ebe79a1614cc78
parent8d106ca317a2c42f35a86ba244f843688f6939e6
parentffab33352cd61df01b221c0438c8847af7a20e0c
Merge branch 'refs/heads/t/manual'

A couple of patches which merge the contents of the overview.pdf file
into the user manual. After this, the documentation no longer depends
on dia.

Cooking for six weeks.

* refs/heads/t/manual:
  manual: Expand description of para_play.
  manual: Omit level 3 headers from table of contents.
  manual: Combine overview.pdf and the user manual.
  manual: Remove text about permissions of /var/paraslash.
  manual: Correct format of para_client help output.
  manual: Add lopsub installation instructions to quick start.
NEWS.md