You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
But simply matching 999* doesn't work, as it would also match the 9999copyrights directory, so we'd either need to skip that directory in the for loops, or use extended globbing to match digits only.
The text was updated successfully, but these errors were encountered:
EasyChair event log claims that I gave the volume number. I cannot remember why I chose 99999, maybe EasyChair suggested it. I cannot think why I would have made such a choice on my own. Suggestion: Include a variable for volume number in Makefile.vars as it seems necessary to edit Makefile.vars anyway.
But simply matching
999*
doesn't work, as it would also match the9999copyrights
directory, so we'd either need to skip that directory in thefor
loops, or use extended globbing to match digits only.The text was updated successfully, but these errors were encountered: