diff options
| -rwxr-xr-x | make-setup-generated.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-setup-generated.sh b/make-setup-generated.sh index 02c58b5..59e96a3 100755 --- a/make-setup-generated.sh +++ b/make-setup-generated.sh @@ -32,8 +32,8 @@ case "$1" in ;; *-cs*) STAGE=cs - STAGENAME="Committee Specification" - WORKINGDRAFT="" + WORKINGDRAFT=`basename "$1" | sed 's/.*-cs//'` + STAGENAME="Committee Specification $WORKINGDRAFT" ;; *) echo Unknown doc type >&2 |