On Wed, 18 Apr 2012 02:41:35 +0100
Fernando de Oliveira <fam...@yahoo.com.br> wrote:

> So, should gtk-doc be moved to required instead of optional?

Maybe, however, I could get past the error and make install without
gtk-doc with a sed:

sed -i '/gtkdoc --rebase/s:^:# :' GNUmakefile

Looking at the installed files, with the sed it still installs 67 files
into /usr/share/gtk-doc/html/webkitgtk. Diff shows no differences
between those files and similar ones installed on a partition that has
gtk-doc. I've changed my mind, I think we should use the sed and leave
gtk-doc as optional.

Andy
-- 
http://linuxfromscratch.org/mailman/listinfo/blfs-dev
FAQ: http://www.linuxfromscratch.org/blfs/faq.html
Unsubscribe: See the above information page

Reply via email to