mirror of
https://github.com/git/git.git
synced 2024-10-31 06:17:56 +01:00
16d258332e
In "common" man pages there is luckily no "NAME" anywhere except at beginning of documents. If there is another "NAME", sed could mis-select it and lead to common-cmds.h corruption. So better nail it at beginning of line, which would reduce corruption chance. Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
24 lines
443 B
Bash
Executable file
24 lines
443 B
Bash
Executable file
#!/bin/sh
|
|
|
|
echo "/* Automatically generated by $0 */
|
|
struct cmdname_help
|
|
{
|
|
char name[16];
|
|
char help[80];
|
|
};
|
|
|
|
static struct cmdname_help common_cmds[] = {"
|
|
|
|
sed -n -e 's/^git-\([^ ]*\)[ ].* common.*/\1/p' command-list.txt |
|
|
sort |
|
|
while read cmd
|
|
do
|
|
sed -n '
|
|
/^NAME/,/git-'"$cmd"'/H
|
|
${
|
|
x
|
|
s/.*git-'"$cmd"' - \(.*\)/ {"'"$cmd"'", "\1"},/
|
|
p
|
|
}' "Documentation/git-$cmd.txt"
|
|
done
|
|
echo "};"
|