Merge branch 'refs/heads/t/doc'
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 31 Dec 2016 15:43:01 +0000 (16:43 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 31 Dec 2016 15:44:03 +0000 (16:44 +0100)
commitc6a123a4bfdce6c278ece9d368ad94c33db567da
treea0e2c0ab8e118ed22fd3863de3846f2f8e026184
parent121015ff5cdbe6af7b84f6245ebe62fe2a52a859
parentc257c9c321c6e9494dbcbb6da0af675c3a2aa8e4
Merge branch 'refs/heads/t/doc'

The contributing section for the user manual and a few other
documentation updates.

* refs/heads/t/doc:
  signal.h: Add documentation of signal_pre_select().
  manual: Fix kernel coding style link.
  user manual: Add section on contributing.
NEWS.md