Skip to content

Commit e4157f4

Browse files
author
Vladimir Kotal
committed
better example RE
1 parent 93df753 commit e4157f4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ spellcheck:
7272
sed 's/pdfbookmark\[[0-9]\]{\([^{}]*\)}{.*}/pdfbookmark{\1}/' | \
7373
sed 's/\\\-//g' | \
7474
sed 's/\\\=//g' | \
75-
sed 's/\\example{[^{]*}//g' | \
75+
sed -E 's/\\example{[[:alnum:]_\/\.\-]+}//g' | \
7676
sed 's/\\texttt{[^{]*}//g' | \
7777
sed 's/\\\funnm{[^{]*}//g' | \
7878
sed 's/\\emprg{.*}//g' | \

0 commit comments

Comments
 (0)