HTCondorWiki: Full Port Log Debian Nine

 debian/rules build |& tee build.out
 {endverbatim}
 
-The build failed.  Needed to do =apt-get build-dep glibc=, after which the build succeeded, although it still wanted =makeinfo=.
+The build failed.  Needed to do =apt-get build-dep glibc=.  This wanted =makeinfo=, but still failed, unable to find =selinux/selinux.h= a long way into the build.  Since =/usr/include/selinux/selinux.h= existed, I tried
+=apt-get install linux-headers-4.9.0-3-all=.
+
+Run =apt-get install texi2html= to get makeinfo.
 
 {subsection: Create the glibc external}