master updated (ca0de032c7 -> 6b0c413227)

[Gavin D. Smith]

gavin pushed a change to branch master.

    from ca0de032c7 better quoting and recognize manual/html_node substring
     new b4732b5dc4 * util/texi2dvi (list_dir_to_abs): Remove unused function 
(not used since the code was added in 2005-11-18.)
     new 6b0c413227 * util/texi2dvi (xref_file_p): Remove unused.


Summary of changes:
 ChangeLog     | 10 ++++++++++
 util/texi2dvi | 38 +-------------------------------------
 2 files changed, 11 insertions(+), 37 deletions(-)