r8173: fix os detection

[uffi.git] / doc / html.tar.gz

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index 72c34062ad0ec06da278b602e59ea18e061e4313..b0c2406fbac06043dabd761ce936a43db319bd14 100644 (file)
Binary files a/doc/html.tar.gz and b/doc/html.tar.gz differ