Run of unchanged for ucblogo

Try this locally (using silver-platter):

debian-svp just-build --revision=git-v1:f8b40819c287da74d87997487458702c0c6592b9 ucblogo 
65
66
67
68
69
70
71
72
73
74
dpkg-source: warning: ignoring deletion of file docs/html/usermanual_fot.html, use --include-removal to override
dpkg-source: warning: ignoring deletion of file docs/html/usermanual_16.html, use --include-removal to override
dpkg-source: warning: ignoring deletion of file docs/html/usermanual_2.html, use --include-removal to override
dpkg-source: warning: ignoring deletion of file docs/html/usermanual_14.html, use --include-removal to override
dpkg-source: warning: ignoring deletion of file docs/html/usermanual_8.html, use --include-removal to override
dpkg-source: warning: ignoring deletion of file docs/html/usermanual_ovr.html, use --include-removal to override
dpkg-source: error: cannot represent change to docs/usermanual.pdf: binary file contents changed
dpkg-source: error: add docs/usermanual.pdf in debian/source/include-binaries if you want to store the modified binary in the debian tarball
E: Failed to package source directory /home/janitor/tmp/tmp1f6_se3e/build-area/ucblogo-6.1
brz: ERROR: The build failed.

Full worker log Full build log