update nomicon and book

RalfJung · RalfJung · commit 276253e66a4d · 2018-08-22T21:17:58.000+02:00
diff --git a/src/doc/book b/src/doc/book
@@ -1 +1 @@
-Subproject commit 88cdde350fd3a90c93f3bac8b4f168f105d28060
+Subproject commit 16c9dee7666c2b2766fd98d89003e028679d1207
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit 790e96b87f4b5817cac310e73a524d25c3d076d8
+Subproject commit ae42ad7aa4d7907cca941371c9eee8de8c2ee40d
