update documentation for v5.0.1

doc/wrs-developer-manual.in

@@ -35,7 +35,7 @@
 
 @setchapternewpage off
 
-@set update-month December 2016
+@set update-month August 2017
 @c the release name below is substituted at build time
 @set release __RELEASE_GIT_ID__
 
@@ -477,7 +477,7 @@ i.e. a @i{tar} archive of all files needed to flash a brand new WR
 Switch.  The example above shows that the name is something like:
 
 @example
-	wr-switch-sw-v5.0-20161214_binaries.tar
+	wr-switch-sw-v5.0.1-20170825_binaries.tar
 @end example
 
 In other words, we include both the tag name (from @t{git describe})
@@ -1258,7 +1258,7 @@ If you want to flash the @i{at91boot.bin}, @i{barebox.bin}, @i{kernel}
 or @i{file-system} that you just built, you can just call the script
 from the build directory and use the @code{-b} option.
 
-The official binaries for installation of version 5.0 of this package
+The official binaries for installation of version 5.0.1 of this package
 are available in the @i{files} tab of this project in @t{ohwr.org}.
 We don't provide a complete link here, but one is available in the
 list of downloaded files: @t{build/download-info}.

doc/wrs-user-manual.in

@@ -35,7 +35,7 @@
 
 @setchapternewpage off
 
-@set update-month December 2016
+@set update-month August 2017
 @c the release name below is substituted at build time
 @set release __RELEASE_GIT_ID__