make dvi fails

[Werner LEMBERG]

[CVS 2002-09-09 17:00]

Saying

  make -C Documentation/user dvi

fails with

  Now processing: `lily-325363663.ly'
  Parsing...
  Interpreting music...

  Error command exited with value 11

  Exiting ...

  Traceback (most recent call last):
    File "../../scripts/lilypond-book.py", line 1474, in ?
    File "../../scripts/lilypond-book.py", line 1373, in do_file
    File "../../scripts/lilypond-book.py", line 1150, in compile_all_files
    File "../../scripts/lilypond-book.py", line 1064, in system
    File "../../scripts/lilypond-book.py", line 601, in error
  Exiting.
  make: *** [out/glossary.texi] Error 1

This is the 13. .ly file of the glossary.

Restarting the process again, 12 .ly files are converted (still from
the glossary), then the same error happens.

So it seems the problem is in lilypond-book.py, and it is related to
the magic number 12.

Starting `make' a third time, it continues to work.

Very strange.

I have python 2.1.1, working on a Linux 2.4.10 box.


    Werner