[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #34070] Searching at the BrowserDoc tab should
From: |
Jordi Gutiérrez Hermoso |
Subject: |
[Octave-bug-tracker] [bug #34070] Searching at the BrowserDoc tab should be added |
Date: |
Wed, 07 Nov 2012 20:18:42 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20110109 Seabat/3.6.13 |
Update of bug #34070 (project octave):
Status: None => Fixed
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #2:
Just close bugs if you think they should be closed. We can always reopen them
later if they seem to still be a problem.
Btw, after the efforts involved in the doc browser, I am wondering if it was a
good idea to work with texinfo output instead of HTML output... texinfo cannot
work with images. :-/ I'll bring this up in the list later.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?34070>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/