File tree Expand file tree Collapse file tree 3 files changed +21
-0
lines changed Expand file tree Collapse file tree 3 files changed +21
-0
lines changed Original file line number Diff line number Diff line change
1
+ #! /usr/bin/env bash
2
+
3
+ # https://sipb.mit.edu/doc/safe-shell/
4
+ set -eufo pipefail
5
+
6
+ shopt -s failglob
7
+
1
8
sphinx-build -b html -d doctrees Book BookHTML
2
9
php generate_php5_redirects.php
Original file line number Diff line number Diff line change
1
+ #! /usr/bin/env bash
2
+
3
+ # https://sipb.mit.edu/doc/safe-shell/
4
+ set -eufo pipefail
5
+
6
+ shopt -s failglob
7
+
1
8
# get rid of old files, so we don't keep them around in the git repo
2
9
# when a file or directory was renamed
3
10
rm -rf BookHTML/* /
Original file line number Diff line number Diff line change
1
+ #! /usr/bin/env bash
2
+
3
+ # https://sipb.mit.edu/doc/safe-shell/
4
+ set -eufo pipefail
5
+
6
+ shopt -s failglob
7
+
1
8
rm -rf BookLatex
2
9
# inkscape Book/hashtables/images/basic_hashtable.svg -D -A Book/hashtables/images/basic_hashtable.pdf
3
10
# inkscape Book/hashtables/images/doubly_linked_hashtable.svg -D -A Book/hashtables/images/doubly_linked_hashtable.pdf
You can’t perform that action at this time.
0 commit comments