Re: Gnome.libs 0.25 does not compile!

[Mario Filipe <mjnf uevora pt>]

On 06-Aug-98 Robert Wilhelm wrote:
> Just delete some lines in gnome-libs-0.25/po/POTFILES.in.
> Time for gnome-libs-0.26? :-)
> 
> Robert
> 
> --- POTFILES.in.org     Thu Aug  6 12:44:07 1998
> +++ POTFILES.in Thu Aug  6 12:40:59 1998
> @@ -2,11 +2,7 @@
>  gnome-hello/gnome-hello-3-parse-args.c
>  gnome-hello/gnome-hello-4-SM.c
>  gnome-hello/gnome-hello-7-mdi.c
> -gnome-hello/gnome-hello.c
> -gtk-xmhtml/Parser-motif.c
> -gtk-xmhtml/Parser.c
>  gtk-xmhtml/StringUtil.c
> -gtk-xmhtml/XCC.c
>  gtk-xmhtml/XmHTML-motif.c
>  gtk-xmhtml/XmHTML.c
>  gtk-xmhtml/XmHTMLI.h
> @@ -14,7 +10,6 @@
>  gtk-xmhtml/colors.c
>  gtk-xmhtml/fonts.c
>  gtk-xmhtml/format.c
> -gtk-xmhtml/forms.c
>  gtk-xmhtml/frames.c
>  gtk-xmhtml/gtk-forms.c
>  gtk-xmhtml/gtk-xmhtml.c

        Escuse the ignorance but how do i do that? Do i cut this "patch" into a
file and then patch < file ?

        Thanks! 

        Mario Filipe 
        mjnf@uevora.pt
----->  http://neptuno.sc.uevora.pt/~mjnf | Agora bilingue (PT e EN)
----->                                      Now bilingual (PT and EN)