[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] HTML export and info: links
From: |
Bastien |
Subject: |
Re: [O] HTML export and info: links |
Date: |
Wed, 03 Jul 2013 18:37:27 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
Sebastian Wiesner <address@hidden> writes:
> It's not actually located there at all.
It is for me (ArchLinux).
> My Texinfo is installed via
> Homebrew into "~/.homebrew", hence my "htmlxref.cnf" is at
> "~/.homebrew/share/texinfo/htmlxref.cnf". There is no
> "/usr/share/texinfo/htmlxref.cnf".
>
> Texinfo doesn't read a single file anyway, but all of these, and
> merges them into a single file. For my manual, I use an additional
> "htmlxref.cnf" right next to the ".texi" source to add some missing
> links.
>
> The Org exporter should take all of these files, and merge them by the
> same rules. For system-wide configuration files, it should either try
> to get the right prefix out of the "makeinfo" executable in
> "exec-path" (as returned by "executable-find"), or take the list of
> files from a customization option. The latter is probably easier, and
> more predictable to the user.
Well, that's too much work for me now. Hopefully someone who needs
this can help too.
> Implementing this likely amounts to a fair bit of work, which I was
> somewhat disappointed to learn that Org doesn't do it already :)
Me too ;)
--
Bastien
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/02
- Re: [O] HTML export and info: links, Bastien, 2013/07/03
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/03
- Re: [O] HTML export and info: links, Bastien, 2013/07/03
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/03
- Re: [O] HTML export and info: links, Bastien, 2013/07/03
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/03
- Re: [O] HTML export and info: links,
Bastien <=
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/03
- Re: [O] HTML export and info: links, Bastien, 2013/07/03
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/03
- Re: [O] HTML export and info: links, Bastien, 2013/07/03
- Re: [O] HTML export and info: links, Sebastian Wiesner, 2013/07/03