diff options
author | Andrew Gallant <jamslam@gmail.com> | 2018-02-10 10:30:35 -0500 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2018-02-10 12:12:47 -0500 |
commit | 09c5b2c4eab68a6a59a044ea149b8487b8ff5002 (patch) | |
tree | 14b97d16361b89bb1e42514b105e556eb94a891d /.gitignore | |
parent | 904c75bd302311fe9e5e5a7238299e0105e19c8b (diff) |
ci: update deployment for doc rearrangement
This fixes CI to handle the new documentation files. We also continue to
do more cleanup. In particular, we devise a nicer way of detecting the
most recent Cargo OUT_DIR by writing a dummy file, and looking for the
most recently modified version of that file.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -6,6 +6,7 @@ target /ignore/Cargo.lock /termcolor/Cargo.lock /wincolor/Cargo.lock +/deployment # Snapcraft files stage @@ -13,4 +14,4 @@ prime parts *.snap *.pyc -ripgrep*_source.tar.bz2
\ No newline at end of file +ripgrep*_source.tar.bz2 |