Use short filenames in generated documentation; tar couldn't handle longest ones
Use short filenames in generated documentation; tar couldn't handle longest ones

jtv/libpqxx,jtv/libpqxx,jtv/libpqxx,jtv/libpqxx