projects
/
git.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Work around missing hard links on FAT formatted media
[git.git]
/
Documentation
/
install-webdoc.sh
diff --git
a/Documentation/install-webdoc.sh
b/Documentation/install-webdoc.sh
index
e51a40e
..
d593ab9
100755
(executable)
--- a/
Documentation/install-webdoc.sh
+++ b/
Documentation/install-webdoc.sh
@@
-4,7
+4,7
@@
T="$1"
for h in *.html howto/*.txt howto/*.html
do
- diff -u "$T/$h" "$h" || {
+ diff -u
-I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-'
"$T/$h" "$h" || {
echo >&2 "# install $h $T/$h"
rm -f "$T/$h"
mkdir -p `dirname "$T/$h"`