r8137: only recompile when source files change

[uffi.git] / doc / uffi.pdf

diff --git a/doc/uffi.pdf b/doc/uffi.pdf
index 7c2530b85b8dea93d1df5812a057e04602b480d9..b2b9b2c34ded8de057d2798772731df5b8defd4a 100644 (file)
Binary files a/doc/uffi.pdf and b/doc/uffi.pdf differ