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

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

[Octave-patch-tracker] [patch #8202] Install images into infodir.


From: Mike Miller
Subject: [Octave-patch-tracker] [patch #8202] Install images into infodir.
Date: Fri, 18 Oct 2013 21:19:06 +0000
User-agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20100101 Firefox/17.0

Follow-up Comment #4, patch #8202 (project octave):

I'm not sure that that's a good thing.

First, this patch submission was simply about adding images to the install
directory so that a third-party info browser that happens to be able to load
images would find them, not related to the GUI.

Now, Torsten, you're saying that the GUI renders info docs into HTML at
run-time and you want to display images in that rendering? Did you know that
there are certain differences between the info docs and the HTML docs, using
the @ifinfo / @ifnotinfo tags in the texinfo source for example? Last time I
looked it seemed that a lot of figures are not being generated into the info
format of the manual. I assumed this was what we wanted.

Also, I don't think it's a good idea in general to install any files other
than *.info* into the infodir install path. It's not very polite to users and
packagers who expect only certain types of files to be installed in certain
directories. There is already an install-html make target available for
installing the full HTML manual format, as I mentioned on another bug report
recently. Can we make the GUI look for either the HTML format manual or the
info docs as a fallback?

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?8202>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

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