diff --git a/user-doc/extract b/user-doc/extract index 6480ca0eb2cc569d1f15a769567e911747f3b32f..1050e4df0f9d19172c10ce40df1ac8f028e7d9e8 100755 --- a/user-doc/extract +++ b/user-doc/extract @@ -363,7 +363,7 @@ rm automatic/*.txte rm -f *PP.txt *PP.md -keywords=`grep "@[A-Z_]*@" *.md | awk -F"@" '{print $2}' | uniq` +keywords=`grep "@[A-Z_]*@" *.md | awk -F"@" '{print $2}' | sort | uniq` for f in *.txt *.md do