X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=fe8abd764f9b370ccec9861e49d7ce9d3e31b666;hb=41b3a284bf8d4e10fcdef846154ddf27835b82bd;hp=d3c91a26417e712e00c5522f62113212e82d929d;hpb=107d72f63db8639c509f8cd92ac29b4641e5fbbc;p=pspp-builds.git diff --git a/doc/automake.mk b/doc/automake.mk index d3c91a26..fe8abd76 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' \