From be31089199a7697531307930a76ae1cd412a1e88 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 26 Sep 2019 14:42:39 +0100 Subject: Working project when downloaded from arXiv Until now, we were assuming that the users would just clone the project in Git. But after submitting arXiv:1909.11230, and trying to build directly from the arXiv source, I noticed several problems that wouldn't allow users to build it automatically. So I tried the build step by step and was able to find a fix for the several issues that came up. The scripting parts of the fix were primarily related to the fact that the unpacked arXiv tarball isn't under version control, so some checks had to be put there. Also, we wanted to make it easy to remove the extra files, so an extra `--clean-texdit' option was added to `./project'. Finally, some manual corrections were necessary (prior to running `./project', which are now described in `README.md'. Most of the later steps can be automated and we should do it later, I just don't have enough time now. --- .file-metadata | Bin 6250 -> 6250 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to '.file-metadata') diff --git a/.file-metadata b/.file-metadata index 9c57cfd..dbc185c 100644 Binary files a/.file-metadata and b/.file-metadata differ -- cgit v1.2.1