Is there an easy way to show what configure options were used when a .deb binary was built, are build logs archived, eg? That is, easier than apt-get --download source and the parse debian/rules?
Case at hand: the GRUB info doc refers to --enable-preset-menu=FILE, and I wonder if this option was set and if so, what value was used. Jan. -- Jan Nieuwenhuizen <[EMAIL PROTECTED]> | GNU LilyPond - The music typesetter http://www.xs4all.nl/~jantien | http://www.lilypond.org -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]