diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-14 22:27:38 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-14 22:27:38 +0100 |
commit | 0d468bf8336f8f82be835e36b2ccaaa3afab5665 (patch) | |
tree | ec62398b81dadceb0160b286e9acd770af21de79 /.file-metadata | |
parent | d23ebc549577697cdd1a274f492399b8413df967 (diff) |
Corrected package distribution step and not including BibLaTeX packages
I was using some special Bash feature before to ignore the distribution
directory itself when copying the files, but that had some problems, so I
just used a simple for loop over a `find' command to ignore it. Also, for
now, we don't need BibLaTeX sources in the project (that is primarily for
arXiv), so to help the referee see a more cleaner contents of this
supplement file.
Diffstat (limited to '.file-metadata')
0 files changed, 0 insertions, 0 deletions