Changes botton-margin to bottom-margin.

diff --git a/python/musicexp.py b/python/musicexp.py
index c02c7fea48cef95254bd7ccf46134fee72c4cb3c..68318678de073ea8ae5fec845dd6f8794793b94d 100644 (file)
--- a/python/musicexp.py
+++ b/python/musicexp.py
@@ -749,7 +749,7 @@ class Paper:
         self.print_length_field (printer, "paper-width", self.page_width)
         self.print_length_field (printer, "paper-height", self.page_height)
         self.print_length_field (printer, "top-margin", self.top_margin)
-        self.print_length_field (printer, "botton-margin", self.bottom_margin)
+        self.print_length_field (printer, "bottom-margin", self.bottom_margin)
         self.print_length_field (printer, "left-margin", self.left_margin)
         # TODO: maybe set line-width instead of right-margin?
         self.print_length_field (printer, "right-margin", self.right_margin)