diff --git a/src/doc/nomicon b/src/doc/nomicon index 790e96b87f4b..80ccb196c477 160000 --- a/src/doc/nomicon +++ b/src/doc/nomicon @@ -1 +1 @@ -Subproject commit 790e96b87f4b5817cac310e73a524d25c3d076d8 +Subproject commit 80ccb196c4771d444f9a9cdd3f97529a2c7103bf diff --git a/src/doc/reference b/src/doc/reference index 219e261ddb83..0b877de88a36 160000 --- a/src/doc/reference +++ b/src/doc/reference @@ -1 +1 @@ -Subproject commit 219e261ddb833a5683627b0a9be87a0f4486abb9 +Subproject commit 0b877de88a368f32b93c633a4424753f0373dee8