[Help-source-highlight] Standard IO kills line numbers

[Keith Robertson]

These two commands should produce the same results; however, the first
one (the one with IO redirection) doesn't produce an html file with line
numbers.  Is this a bug or am I doing something wrong?

keithr:/tmp> ./source-highlight --title=Hello --line-number -s java -f
html < ~keithr/Hello.java > ~keithr/Hello.html
keithr:/tmp> ./source-highlight --title=Hello --line-number -s java -f
html -i ~keithr/Hello.java -o ~keithr/Hello.html

Keith