# until https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019980 gets resolved
omniorb-dfsg source: source-is-missing [doc/omniidl.html]
omniorb-dfsg source: source-is-missing [doc/utilities.html]
