r4818: Automatic commit for debian_version_1_2_15-1

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index e45c5143424da11add8c90d9fe449345a97f96b4..e36f2ce8cd398776edb3ff71605ce4cebd0ebf69 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 2c121f7f474b8cc026172e8b6a56c1dcfeb2b3b1..7c2530b85b8dea93d1df5812a057e04602b480d9 100644 (file)
Binary files a/doc/uffi.pdf and b/doc/uffi.pdf differ