Fixes footnote automatic numbering.

lily/footnote-engraver.cc

 /*
   This file is part of LilyPond, the GNU music typesetter.
 
   Copyright (C) 2011 Mike Solomon <mike@apollinemike.com>
 
   LilyPond is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.
 
   LilyPond is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License
   along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 #include "engraver.hh"
 
 #include "stream-event.hh"
 #include "item.hh"
 #include "pointer-group-interface.hh"
 #include "spanner.hh"
+#include "system.hh"
 
 #include "translator.icc"
 
 class Footnote_engraver : public Engraver
 {
   TRANSLATOR_DECLARATIONS (Footnote_engraver);
 
   DECLARE_TRANSLATOR_LISTENER (footnote);
   DECLARE_ACKNOWLEDGER (grob);
   DECLARE_END_ACKNOWLEDGER (grob);
   vector<Stream_event *> events_;
   vector<Drul_array<Spanner *> > annotated_spanners_;
 
   void stop_translation_timestep ();
+  void finalize ();
 
   void footnotify (Grob *, Stream_event *);
 };
 
 IMPLEMENT_TRANSLATOR_LISTENER (Footnote_engraver, footnote);
 void
 Footnote_engraver::listen_footnote (Stream_event *ev)
 {
   events_.push_back (ev);
 }
 
 void
 Footnote_engraver::stop_translation_timestep ()
 {
   events_.clear ();
 }
 
+void
+Footnote_engraver::finalize ()
+{
+  annotated_spanners_.resize (0);
+}
+
 Footnote_engraver::Footnote_engraver ()
 {
 }
 
 void
 Footnote_engraver::footnotify (Grob *g, Stream_event *event)
 {
   Spanner *s = dynamic_cast<Spanner *>(g);
 
   if (s)
@@ skipping 60 matching lines @@
                 /* create */
                 "FootnoteItem "
                 "FootnoteSpanner ",
 
                 /*read*/
                 "currentMusicalColumn ",
 
                 /*write*/
                 ""
                );