X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fpage-marker.cc;h=aa66ee31eac75ed9a2f5272f42eaa670f31f7713;hb=40aac0ae57ee113faa860ba221d83d9e6312173e;hp=08d58cd60c281eba949235d5b8b94e3129e52454;hpb=0e5d83a9ceb4a143f83d22406d7eb816314ff9f7;p=lilypond.git

diff --git a/lily/page-marker.cc b/lily/page-marker.cc
index 08d58cd60c..aa66ee31ea 100644
--- a/lily/page-marker.cc
+++ b/lily/page-marker.cc
@@ -1,9 +1,20 @@
 /*
-  page-marker.cc -- implement Page_marker
+  This file is part of LilyPond, the GNU music typesetter.
 
-  source file of the GNU LilyPond music typesetter
+  Copyright (C) 2007--2014 Nicolas Sceaux <nicolas.sceaux@free.fr>
 
-  (c) 2007--2009 Nicolas Sceaux <nicolas.sceaux@free.fr>
+  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 "page-marker.hh"
@@ -17,6 +28,14 @@ Page_marker::Page_marker ()
   smobify_self ();
 }
 
+Page_marker::Page_marker (Page_marker const &src)
+{
+  symbol_ = src.symbol_;
+  permission_ = src.permission_;
+  label_ = src.label_;
+  smobify_self ();
+}
+
 Page_marker::~Page_marker ()
 {
 }
@@ -36,10 +55,10 @@ Page_marker::mark_smob (SCM smob)
 }
 
 int
-Page_marker::print_smob (SCM smob, SCM port, scm_print_state*)
+Page_marker::print_smob (SCM smob, SCM port, scm_print_state *)
 {
   Page_marker *pm = (Page_marker *) SCM_CELL_WORD_1 (smob);
-  (void)pm;
+  (void) pm;
   scm_puts ("#<Page_marker>", port);
   return 1;
 }
@@ -74,5 +93,3 @@ Page_marker::set_label (SCM label)
 {
   label_ = label;
 }
-
-