I don't know any other tool than grok.se where we need to select the
filenames manually but just FYI, don't forget, if you want accurate stats
for book downloads with the URL you gave, to consult the new wsexport as
well:
http://tools.wmflabs.org/wsexport/tool/stat.php
On the French Wikisource, we already have migrated almost all links to the
new wsexport that allows to make PDFs as well (I'll write Tpt for him to
add the PDF column in the stats on wmflabs...)
Ernest Boucher, Wikimédia Canada (
ca.wikimedia.org)
Wikisource: Projet Québec Canada (jecontribue.ca)