X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fautomake.mk;h=fe8abd764f9b370ccec9861e49d7ce9d3e31b666;hb=refs%2Fbuilds%2F20120705001852%2Fpspp;hp=d3c91a26417e712e00c5522f62113212e82d929d;hpb=a258e53c63a08b0ec48aea8f03808eb651729424;p=pspp diff --git a/doc/automake.mk b/doc/automake.mk index d3c91a2641..fe8abd764f 100644 --- a/doc/automake.mk +++ b/doc/automake.mk @@ -63,6 +63,7 @@ $(srcdir)/doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS) -e 's/’/\’/g' \ -e 's/—/\—/g' \ -e 's/–/\′/g' \ + -e 's/é/\é/g' \ -e 's/©/\©/g' \ -e 's/−/\−/g' \ -e 's/…/\…/g' \