Control: retitle -1 debian/rules has two override_dh_installdocs sections, and the stage1 profile is broken
Re: To Debian Bug Tracking System > Bug 2: > > Building the "nojava" profile is broken because That should have been the "stage1" profile of course. > debian/libopenmpi-dev.docs tries to install a java file and fails > > usr/share/doc/openmpi/javadoc-openmpi Christoph
