Menu
▾
▴
[Gtk2hs-users] Re: More gtksourceview patches
|
From: Duncan C. <dun...@wo...> - 2003-10-26 01:48:02
|
On Sun, 2003-10-26 at 01:37, Duncan Coutts wrote: > Index: Makefile > =================================================================== > RCS file: /cvsroot/gtk2hs/gtk2hs/sourceview/Makefile,v > retrieving revision 1.1 > diff -U2 -r1.1 Makefile > --- Makefile 21 Oct 2003 23:41:03 -0000 1.1 > +++ Makefile 26 Oct 2003 01:15:14 -0000 > @@ -25,4 +25,7 @@ > SourceLanguage-HEADER = gtksourceview/gtksourceview.h > SourceLanguagesManager-HEADER = gtksourceview/gtksourceviewlanguagesmanager.h > +SourceTag-HEADER = gtksourceview/gtksourcetag.h > +SourceTagTable-HEADER = gtksourceview/gtktagtable.h > +SourceStyleScheme-HEADER = gtksourceview/gtkstlyescheme.h > endif Oops. That should be: Index: Makefile =================================================================== RCS file: /cvsroot/gtk2hs/gtk2hs/sourceview/Makefile,v retrieving revision 1.1 diff -U2 -r1.1 Makefile --- Makefile 21 Oct 2003 23:41:03 -0000 1.1 +++ Makefile 26 Oct 2003 01:38:55 -0000 @@ -25,4 +25,7 @@ SourceLanguage-HEADER = gtksourceview/gtksourceview.h SourceLanguagesManager-HEADER = gtksourceview/gtksourceviewlanguagesmanager.h +SourceTag-HEADER = gtksourceview/gtksourcetag.h +SourceTagTable-HEADER = gtksourceview/gtksourcetagtable.h +SourceStyleScheme-HEADER = gtksourceview/gtksourcestylescheme.h endif |