# # # patch "Makefile" # from [249263e9809c7ed844f2167bdc0a7235b8f9f8aa] # to [e2382b7c2e004fd4b9c59eb1035f191ffdc5c1a3] # ============================================================ --- Makefile 249263e9809c7ed844f2167bdc0a7235b8f9f8aa +++ Makefile e2382b7c2e004fd4b9c59eb1035f191ffdc5c1a3 @@ -37,14 +37,14 @@ DISTSRC = Makefile configure.ac config.m dot_types.mli dot_lexer.mll dot_parser.mly \ subprocess.ml subprocess.mli icon.ml ui.ml ui.mli \ basic_io_lexer.mll basic_io_lexer.mli revision.mli revision.ml \ - components.ml monotone.mli monotone.ml agraph.ml agraph.mli \ + components.ml automate.mli automate.ml monotone.mli monotone.ml agraph.ml agraph.mli \ unidiff.ml unidiff.mli gnomecanvas_hack.c view.ml view.mli \ query.ml query.mli app.mli app.ml main.ml \ glib/gspawn.ml glib/gspawn.mli glib/giochannel.ml glib/giochannel.mli \ glib/viz_gmisc.ml glib/gpattern.ml \ glib/ocaml-gspawn.c glib/ocaml-giochannel.c \ glib/ocaml-misc.c glib/ocaml-gdate.c glib/ocaml-gpattern.c \ - glib/gspawn_tags.var glib/giochannel_tags.var \ + glib/gspawn_tags.var glib/giochannel_tags.var DIST_LABLGTK= lablgtk/configure lablgtk/configure.in lablgtk/config.make.in \ lablgtk/COPYING lablgtk/CHANGES lablgtk/README* \ lablgtk/Makefile lablgtk/src/Makefile lablgtk/src/.depend \