diff options
| author | Andreas Sturmlechner <asturm@gentoo.org> | 2017-08-14 20:52:12 +0200 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2017-08-14 20:54:55 +0200 |
| commit | 35ab9dcc073a74dad43fb2bb8fe824c054adc4e8 (patch) | |
| tree | 6561ed1c9ea6d27d6ec5ef66a2de49dd82f0e508 | |
| parent | 6733070a90ba6d1134a4062f19e9ae142367323c (diff) | |
| download | kde-35ab9dcc073a74dad43fb2bb8fe824c054adc4e8.tar.gz kde-35ab9dcc073a74dad43fb2bb8fe824c054adc4e8.tar.bz2 kde-35ab9dcc073a74dad43fb2bb8fe824c054adc4e8.zip | |
Documentation: regenerate-files: Fix sets/kde-plasma generation
| -rwxr-xr-x | Documentation/maintainers/regenerate-files | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/maintainers/regenerate-files b/Documentation/maintainers/regenerate-files index 3180f968c84..dac8015b408 100755 --- a/Documentation/maintainers/regenerate-files +++ b/Documentation/maintainers/regenerate-files @@ -161,7 +161,7 @@ done for set in *plasma-${PLASMA_RELEASE}; do newfile=${set/%-${PLASMA_RELEASE}} echo -e "${HEADER}" > "${newfile}" - sed -r "/@/s/-${PLASMA_RELEASE}//g;/9999$/s/~//;s/<//;\@kde-plasma/@s/-(9999|5\..\.50)//" "${set}" >> "${newfile}" + sed -r "/@/s/-${PLASMA_RELEASE}//g;/9999$/s/~//;s/<//;\@kde-plasma/@s/-(9999|${PLASMA_RELEASE}\.50)//" "${set}" >> "${newfile}" done for set in *-${APPS_RELEASE}; do |