I was curious to see what differences there would be if I ran "make
dist" to build the source tarballs. There are a number of differences
because we used different versions of tools (autotools, bison, flex,
texinfo, etc.). I don't think those differences are too important. I
also see that the figures in your dist files were generated by gnuplot
and mine were made with gl2ps. Was that intentional? Is it what we want?