octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #44451] generate_html tip adds extra "<pre> </


From: Julien Bect
Subject: [Octave-bug-tracker] [bug #44451] generate_html tip adds extra "<pre> </pre>" for @group
Date: Sat, 07 Mar 2015 09:02:02 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:36.0) Gecko/20100101 Firefox/36.0

Follow-up Comment #1, bug #44451 (project octave):

The extra <pre> </pre> block is created by makeinfo itself.

You can get rid of it by removing the extra space in front of @group (i.e., ##
@group -> address@hidden).

I will fix this by removing leading spaces in substrings of the form
address@hidden

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?44451>

_______________________________________________
  Message posté via/par Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]