projects
/
git-tools-moved-to-github.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Not used anymore
[git-tools-moved-to-github.git]
/
fixup-headers
/
sgml-to-nxml.sh
1
#!/bin/sh
2
# Put nxml footer in XML file if it already exists
3
# this is to replace old sgml mode
4
for f in `find . \( -name '*.xml' \) -print`; do
5
echo $f
6
sed '/^Local variables:/ {
7
a\
8
mode: nxml\
9
nxml-child-indent: 1\
10
End:\
11
-->
12
q
13
}' < $f >${f}_new
14
mv ${f}_new $f
15
done
16