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.
next prev parent 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.