Error escaping '<' and '>' in HTML export

[Daniel Dehennin <daniel.dehennin@baby-gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 1965 bytes --]

Hello,

I tried to export as HTML some script I made and found that the exporter
do not handle correctly URL in the form '<http://example.net>' like in
the GPL licence notice when followed by a line containing '>'

For example:

#+begin_src sh
  #!/bin/sh
  
  # This program is free software: you can redistribute it and/or modify
  # it under the terms of the GNU General Public License as published by
  # the Free Software Foundation, either version 3 of the License, or
  # (at your option) any later version.
  #
  # This program is distributed in the hope that it will be useful,
  # but WITHOUT ANY WARRANTY; without even the implied warranty of
  # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  # GNU General Public License for more details.
  #
  # You should have received a copy of the GNU General Public License
  # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  
  # Report bug to Hello Bug Tracking system <hello-bug@example.net>

  echo "Hello World"
#+end_src

produce the following:

#+begin_src html
<span style="color: #adadad;"># </span><span style="color: #adadad;">along with this program.  If not, see <a href="http://www.gnu.org/licenses/>.

# Report bug to Hello Bug Tracking system hello-bug@example.net">&lt;http://www.gnu.org/licenses/&gt;.</a></span><a href="http://www.gnu.org/licenses/>.

# Report bug to Hello Bug Tracking system hello-bug@example.net">

</a><span style="color: #adadad;"><a href="http://www.gnu.org/licenses/>.

# Report bug to Hello Bug Tracking system hello-bug@example.net"># </a></span><span style="color: #adadad;"><a href="http://www.gnu.org/licenses/>.

# Report bug to Hello Bug Tracking system hello-bug@example.net">Report bug to Hello Bug Tracking system hello-bug@example.net&gt;</a></span>
#+end_src

Regards.

-- 
Daniel Dehennin
Récupérer ma clef GPG:
gpg --keyserver pgp.mit.edu --recv-keys 0x7A6FE2DF

[-- Attachment #2: Type: application/pgp-signature, Size: 229 bytes --]