diff --git a/scripts/boxesserver b/scripts/boxesserver index d1948d4..556815f 100755 --- a/scripts/boxesserver +++ b/scripts/boxesserver @@ -119,6 +119,10 @@ flex cuts, holes and slots for screws and more high level functions. result.append("""
  • %s%s
  • """ % ( name, name, docs)) result.append(""" +