mirror of
git://git.gnupg.org/gnupg.git
synced 2024-11-09 21:28:51 +01:00
mkwebpage
This commit is contained in:
parent
56f50c41dd
commit
b690510a65
@ -11,8 +11,9 @@ cd $HOME/pub
|
|||||||
extract_date () {
|
extract_date () {
|
||||||
# This strange construct is to speed up things. Grouping a "s" and a "q"
|
# This strange construct is to speed up things. Grouping a "s" and a "q"
|
||||||
# does not work. Anyway we should use awk instead.
|
# does not work. Anyway we should use awk instead.
|
||||||
sed '/^.*\$\[I\]d:.*\$.*$/q' $1 |
|
# Have to quote the I from $Id so that CVS does not expand it
|
||||||
sed -n 's!^.*\$\[I\]d: [^ ]\+ [^ ]\+ \([0-9]*\)/\([0-9]*\)/\([0-9]*\) [^ ]\+ \([^ ]\+\).*$!\1-\2-\3 \4!p'
|
sed '/^.*\$[I]d:.*\$.*$/q' $1 |
|
||||||
|
sed -n 's!^.*\$[I]d: [^ ]\+ [^ ]\+ \([0-9]*\)/\([0-9]*\)/\([0-9]*\) [^ ]\+ \([^ ]\+\).*$!\1-\2-\3 \4!p'
|
||||||
}
|
}
|
||||||
|
|
||||||
# We have to edit most files
|
# We have to edit most files
|
||||||
|
Loading…
Reference in New Issue
Block a user