Update genpdfs.rb