Skip to content

Commit 65ecd30

Browse files
committed
Fixed issue with git co updating mod times.
using checksums with rsync instead.
1 parent 0f362a4 commit 65ecd30

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ doc: gh-pages
2323

2424
gh-pages: build-doc
2525
git co gh-pages
26-
rsync -vr ${HTMLDIR}/ ./
26+
rsync -vcr ${HTMLDIR}/ ./
2727

2828
build-doc:
2929
make -C doc/ clean html

0 commit comments

Comments
 (0)