r5497: Automatic commit for debian_version_1_3_0-1

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index f3dcd22acb0ab6e596be51da7a9b6bd2607c2a54..4ce96dfcf2f4f4cd629ef0bb57166d8e9e2677d6 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 f2b7c6066da08518d4299c9f7032e0537735b452..253860e768e2ea7a51244bb0a1cb112ee660ba40 100644 (file)
Binary files a/doc/uffi.pdf and b/doc/uffi.pdf differ