Policy 12.3: Existence of files in /u/s/doc/ during build?

[Michael Fladischer <michael@fladi.at>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

I'm maintaining sphinx-issuetracker and during the build of the package
it also generates HTML documentation. To resolve references to
documentation from other packages the documentation-build-system
(sphinx) uses files that are included in those other packages (named
objects.inv). Those files reside under /usr/share/doc/<package> and I
would like to set those packages as Build-Depends so the objects.inv are
available and the references can be resolved. Is this feasible or does
this violate Policy 12.3?

'''
Packages must not require the existence of any files in /usr/share/doc/
in order to function [The system administrator should be able to delete
files in /usr/share/doc/ without causing any programs to break.].
'''

There is no reference on what can be assumed during package build.
Should I refrain from using these files? The impact from not using this
files would be no/fewer links in the documentation.

Cheers
- -- 
Michael Fladischer
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk1tLo8ACgkQeJ3z1zFMUGbEWgCeKk2ADLEyPV+oQMtg8OjenKTg
RT4AnRqz24mm14ofMv7AnteivyP84WY8
=2rmp
-----END PGP SIGNATURE-----