]> git.donarmstrong.com Git - lilypond.git/blobdiff - buildscripts/mutopia-index.py
release: 1.5.43
[lilypond.git] / buildscripts / mutopia-index.py
index 4bbc0bb2c58416688cf728ffb058cc528d3866cd..2e5d3b5e35ce558d830ca22bfb8f91932c4c4442 100755 (executable)
@@ -3,7 +3,6 @@
 
 name = 'mutopia-index'
 
 
 name = 'mutopia-index'
 
-# find.py -- deprecated in python 2.0
 import fnmatch
 import os
 
 import fnmatch
 import os
 
@@ -57,9 +56,10 @@ headertext= r"""
 These files are also included in the distribution. The output is
 completely generated by LilyPond, without any touch up by humans.
 
 These files are also included in the distribution. The output is
 completely generated by LilyPond, without any touch up by humans.
 
-<p>The PostScript files were generated using TeX and dvips. The pictures
-are 90dpi anti-aliased snapshots of the printed output.  The images
-are in PNG format, and should be viewable with any current browser.
+<p>The PostScript files were generated using TeX and dvips at 600 dpi.
+The pictures are 90dpi anti-aliased snapshots of the printed output.
+The images are in PNG format, and should be viewable with any current
+browser.
 
 <p>If you want a better impression of the appearance, do print out one of
 the postscript files.
 
 <p>If you want a better impression of the appearance, do print out one of
 the postscript files.
@@ -166,6 +166,7 @@ def gen_list(inputs, filename):
                        if not file_exist_b (f):
                                break
                        list_item(f, 'See a picture of page %d' % pageno, 'png')
                        if not file_exist_b (f):
                                break
                        list_item(f, 'See a picture of page %d' % pageno, 'png')
+               list_item(base + '.pdf', 'Print ', 'PDF')
                list_item(base + '.ps.gz', 'Print ', 'gzipped PostScript')
                list_item(base + '.midi', 'Listen', 'MIDI')
                list.write ("</ul>\n");
                list_item(base + '.ps.gz', 'Print ', 'gzipped PostScript')
                list_item(base + '.midi', 'Listen', 'MIDI')
                list.write ("</ul>\n");