r2748: Auto commit for Debian build

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index 4930b2cfc5b8764c67e9125c71f09236ce94b03d..91f3f2b2303b005a470fdb4152f037c3adf63640 100644 (file)
Binary files a/doc/html.tar.gz and b/doc/html.tar.gz differ

diff --git a/doc/uffi.pdf b/doc/uffi.pdf
index 468f5d92fbe28577955707fb49bca9c9dbd77c6d..eac48d9c758cee838805988ca7aa280518bf1fb7 100644 (file)
Binary files a/doc/uffi.pdf and b/doc/uffi.pdf differ