all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Juri Linkov <juri@linkov.net>
To: Eli Zaretskii <eliz@gnu.org>
Cc: larsi@gnus.org, emacs-devel@gnu.org, stefankangas@gmail.com,
	tsdh@gnu.org
Subject: Re: Variable pitch mode line
Date: Thu, 23 Dec 2021 21:39:05 +0200	[thread overview]
Message-ID: <86pmpn3ycm.fsf@mail.linkov.net> (raw)
In-Reply-To: <83y24bt9fg.fsf@gnu.org> (Eli Zaretskii's message of "Thu, 23 Dec 2021 21:20:35 +0200")

>> Why HTML files couldn't be installed in the same dir where all files
>> in the Info format are installed?
>
> Because AFAIK that's not the canonical place where HTML docs are
> installed, they are somewhere in /usr/share/doc/.

But these files are not HTML docs, they are Info docs in HTML format.

>> Then it's the task of the Info reader to handle links between
>> manuals in the HTML format the same way as links in the Info format
>> are handled by the Info reader.
>
> The additional difficulty, apart of the top-level directory, is that
> HTML docs can either be produced as a single file or as separate files
> per chapter/section, and then the directory structure (and
> correspondingly the job of resolving links) becomes more complicated.
>
> It isn't rocket science to fix this, but it's not something distro
> maintainers can do, it's something Texinfo should do, perhaps
> consulting with us.

Then distro maintainers could always generate a single file.



  reply	other threads:[~2021-12-23 19:39 UTC|newest]

Thread overview: 96+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-12-22 13:14 Variable pitch mode line Lars Ingebrigtsen
2021-12-22 14:01 ` Eli Zaretskii
2021-12-22 15:21 ` Stefan Kangas
2021-12-22 17:34 ` Juri Linkov
2021-12-22 20:14   ` Tassilo Horn
2021-12-22 20:42     ` Lars Ingebrigtsen
2021-12-22 20:49       ` Tassilo Horn
2021-12-23 17:16     ` Juri Linkov
2021-12-23 17:52       ` Stefan Kangas
2021-12-23 18:26         ` Eli Zaretskii
2021-12-23 18:38           ` Juri Linkov
2021-12-23 19:20             ` Eli Zaretskii
2021-12-23 19:39               ` Juri Linkov [this message]
2021-12-23 19:48                 ` Eli Zaretskii
2021-12-23 19:55                   ` Juri Linkov
2021-12-23 18:27       ` Lars Ingebrigtsen
2021-12-23 18:35         ` Juri Linkov
2021-12-23 18:47           ` Lars Ingebrigtsen
2021-12-23 19:00             ` Juri Linkov
2021-12-23 19:50               ` Stefan Monnier
2021-12-23 19:56                 ` Eli Zaretskii
2021-12-23 20:12                   ` Stefan Monnier
2021-12-23 20:17                     ` Eli Zaretskii
2021-12-23 20:48                       ` HTML info Yuan Fu
2021-12-24  8:34                         ` Juri Linkov
2021-12-24  8:48                           ` Eli Zaretskii
2021-12-24  9:02                           ` Lars Ingebrigtsen
2021-12-24  9:38                           ` Po Lu
2021-12-24 19:16                             ` [External] : " Drew Adams
2021-12-25 18:01                           ` Juri Linkov
2021-12-26  9:50                             ` Yuan Fu
2021-12-26 10:20                               ` Eli Zaretskii
2021-12-26 17:30                                 ` Juri Linkov
2021-12-27 18:32                                   ` Juri Linkov
2021-12-26 11:48                               ` Lars Ingebrigtsen
2021-12-26 11:53                                 ` Eli Zaretskii
2021-12-26 11:57                                   ` Lars Ingebrigtsen
2021-12-26 12:07                                     ` Eli Zaretskii
2021-12-24  8:21                 ` Variable pitch mode line Juri Linkov
2021-12-24 11:42                   ` Eli Zaretskii
2021-12-24 12:08                     ` Eli Zaretskii
2021-12-24 12:27                     ` Lars Ingebrigtsen
2021-12-24 12:32                       ` Po Lu
2021-12-24 12:53                         ` Lars Ingebrigtsen
2021-12-24 13:12                           ` Po Lu
2021-12-24 13:34                             ` Lars Ingebrigtsen
2021-12-24 13:36                               ` Po Lu
2021-12-24 13:45                               ` Eli Zaretskii
2021-12-24 13:48                                 ` Lars Ingebrigtsen
2021-12-24 13:57                                   ` Eli Zaretskii
2021-12-24 14:01                                     ` Lars Ingebrigtsen
2021-12-24 14:33                                       ` Eli Zaretskii
2021-12-24 15:05                                         ` Lars Ingebrigtsen
2021-12-24 15:16                                           ` Eli Zaretskii
2021-12-24 15:43                                             ` Lars Ingebrigtsen
2021-12-24 15:44                                               ` Lars Ingebrigtsen
2021-12-24 17:03                                               ` Eli Zaretskii
2021-12-25 11:59                                                 ` Lars Ingebrigtsen
2021-12-25 12:07                                                   ` Eli Zaretskii
2021-12-26 11:28                                                     ` Lars Ingebrigtsen
2021-12-26 11:43                                                       ` Eli Zaretskii
2021-12-26 11:51                                                         ` Lars Ingebrigtsen
2021-12-26 11:56                                                           ` Eli Zaretskii
2021-12-26 12:02                                                             ` Lars Ingebrigtsen
2021-12-26 12:11                                                               ` Eli Zaretskii
2021-12-26 12:25                                                                 ` Lars Ingebrigtsen
2021-12-26 12:59                                                                   ` Eli Zaretskii
2021-12-27 10:32                                                                     ` Lars Ingebrigtsen
2021-12-27 14:52                                                                       ` Eli Zaretskii
2021-12-26 15:32                                                       ` Stefan Monnier
2021-12-25 17:54                             ` Juri Linkov
2021-12-26  1:27                               ` Po Lu
2021-12-26  7:39                                 ` Juri Linkov
2021-12-26  8:46                                   ` Eli Zaretskii
2021-12-23 19:27       ` Tassilo Horn
2021-12-23 19:39         ` Eli Zaretskii
2021-12-23 19:48           ` Tassilo Horn
2021-12-23 20:02             ` Eli Zaretskii
2021-12-23 20:13               ` Eli Zaretskii
2021-12-23 19:45         ` Juri Linkov
2021-12-23 20:41       ` Tomas Hlavaty
2021-12-23 20:51         ` Yuan Fu
2021-12-23 20:56           ` Tomas Hlavaty
2021-12-23 21:00             ` Yuan Fu
2021-12-23 21:24               ` Tomas Hlavaty
2021-12-23 21:41                 ` Yuan Fu
2021-12-23 23:00                   ` Tomas Hlavaty
2021-12-23 23:28                     ` Yuan Fu
2021-12-24  7:14                       ` Tomas Hlavaty
2021-12-24  7:05                     ` Eli Zaretskii
2021-12-24  0:50                   ` [External] : " Drew Adams
2021-12-24  3:58                     ` Yuan Fu
2021-12-24  5:00                       ` Drew Adams
2021-12-24  6:53             ` Eli Zaretskii
2021-12-24  6:50         ` Eli Zaretskii
2021-12-24  7:55           ` Tomas Hlavaty

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=86pmpn3ycm.fsf@mail.linkov.net \
    --to=juri@linkov.net \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=larsi@gnus.org \
    --cc=stefankangas@gmail.com \
    --cc=tsdh@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.