diff options
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 \ |