On Tue, 2023-09-05 at 10:27 +0200, Patrice Dumas wrote:
> On Mon, Sep 04, 2023 at 10:00:42PM +0200, Jonas Hahnfeld wrote:
> > As I write above, label_target_name is already called for external
> > references (via _normalized_label_id_file). So all we would need is
> > something like node_file_name for external nodes (or just use the same
> > function) and a hook to tweak the manual directory, with the default
> > returning $manual_base.'_'.$converter->{'output_format'}, right?
>
> I changed my mind again, I left label_target_name as is, as it is used
> both for internal and external references and added two new file_id_setting
> customization references, external_target_non_split_name and
> external_target_split_name.
>
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=f0cfa4354ba0fb0e33aa3990c853e7f69fd9438fOk, this looks like what we need. Replacing out the "_html" from the manual name will require some string operations (or htmlxref), but that's probably doable. I will have to test this in practice, thanks! Jonas
signature.asc
Description: This is a digitally signed message part
