r8137: only recompile when source files change

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

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index 16e38a22bca04f5c37b2e7ace74d95da8676dcb2..20b130033fac6271160b71f9e51fce28d856408c 100644 (file)
Binary files a/doc/html.tar.gz and b/doc/html.tar.gz differ