1 --- pari-2.5.5/src/desc/doc_make~ 2017-07-02 15:05:00.000000000 +0200
2 +++ pari-2.5.5/src/desc/doc_make 2017-07-02 15:09:47.283000083 +0200
5 $v =~ s/(\w\w+)/\\var{$1}/g;
6 $v =~ s/\^([a-z])/\\hbox{\\kbd{\\pow}}$1/g;
7 - $v =~ s/\\var{flag}/\\fl/g;
8 + $v =~ s/\\var\{flag}/\\fl/g;