Skip to content

Commit

Permalink
initial commit
Browse files Browse the repository at this point in the history
  • Loading branch information
kashefy committed Feb 28, 2020
0 parents commit e3dea0d
Show file tree
Hide file tree
Showing 24 changed files with 3,722 additions and 0 deletions.
8 changes: 8 additions & 0 deletions .ci/travis/make_all.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
#!/bin/bash
set -e # exit with nonzero exit code if anything fails

array=(`find . -name 'Makefile'`)
for mkfile in "${array[@]}"
do :
make -C `dirname $mkfile`
done
11 changes: 11 additions & 0 deletions .ci/travis/zip_pdfs.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# A lecture pdf filename starts with two digits (e.g. 00*.pdf)
# Get the path to each lecture pdf
FILES=`find . -maxdepth 3 -name tutorial_[[:digit:]][[:digit:]]_*.pdf -not -name *comms*.pdf`
# zip them into a file
zip -j tutorial_pdfs.zip $FILES
FILES=`find . -maxdepth 3 -name tutorial_[[:digit:]][[:digit:]]_*.slides.pdf -not -name *comms*.pdf`
# zip them into a file
zip -j tutorial_slides.zip $FILES
FILES=`find . -maxdepth 3 -name tutorial_[[:digit:]][[:digit:]]_*.notes.pdf -not -name *comms*.pdf`
# zip them into a file
zip -j tutorial_notes.zip $FILES
Loading

0 comments on commit e3dea0d

Please sign in to comment.