diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2022-08-19 16:15:53 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-08-19 16:16:01 -0700 |
| commit | a3c86e21428e4d250bc250ea647c6d0da14390eb (patch) | |
| tree | ba5a2cc4134d6d06782d9b6f855397dee95fa243 /bin/doccheckin | |
| parent | 571044b18d95847bcae323875e176a2e02ba0e93 (diff) | |
| download | dotfiles-a3c86e21428e4d250bc250ea647c6d0da14390eb.tar.gz | |
also commit main Org archive
Diffstat (limited to 'bin/doccheckin')
| -rwxr-xr-x | bin/doccheckin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/doccheckin b/bin/doccheckin index 02bcc6e9..d4e5ed0a 100755 --- a/bin/doccheckin +++ b/bin/doccheckin @@ -15,7 +15,7 @@ cd ~/doc/ [ -z "$(git ls-files --unmerged)" ] || exit 0 # this command should never fail and stop mr -git add howm/*.org howm/*/*.org \ +git add howm/*.org howm/*/*.org archive/howm/archive.org \ papers/*.org papers/*.md papers/*.bib \ newpapers/*/*.org \ dissert/*.md pres/*.md letters/*.tex \ |