Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
 help / color / mirror / Atom feed
From: Patrice Dumas via ffmpeg-devel <ffmpeg-devel@ffmpeg.org>
To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Cc: Patrice Dumas <pertusus@free.fr>
Subject: [FFmpeg-devel] Re: [PATCH] doc/Makefile: add MAKEINFO variable
Date: Sat, 10 Jan 2026 23:05:36 +0100
Message-ID: <aWLNMPne7QfgW4pR@free.fr> (raw)
In-Reply-To: <aVmEuwuuYJr-0FxA@free.fr>

Hello,

Is there anything wrong with the patch?

The idea is to be able to use a different command than the system
makeinfo to generate the documentation, for example to use another
version.  My precise use case is that I test the customization code with
the development version of Texinfo, directly from the source directory.

On Sat, Jan 03, 2026 at 10:06:03PM +0100, Patrice Dumas via ffmpeg-devel wrote:
> 
> To allow building doc with another makeinfo command than the system one.
> 
> ---
>  doc/Makefile | 7 ++++---
>  1 file changed, 4 insertions(+), 3 deletions(-)
> 
> diff --git a/doc/Makefile b/doc/Makefile
> index 2112aff737..608759216c 100644
> --- a/doc/Makefile
> +++ b/doc/Makefile
> @@ -50,11 +50,12 @@ apidoc: doc/doxy/html
>  documentation: $(DOCS)
>  
>  TEXIDEP = perl $(SRC_PATH)/doc/texidep.pl $(SRC_PATH) $< $@ >$(@:%=%.d)
> +MAKEINFO = makeinfo
>  
>  doc/%.txt: TAG = TXT
>  doc/%.txt: doc/%.texi
>  	$(Q)$(TEXIDEP)
> -	$(M)makeinfo --force --no-headers -o $@ $< 2>/dev/null
> +	$(M)$(MAKEINFO) --force --no-headers -o $@ $< 2>/dev/null
>  
>  GENTEXI  = format codec
>  GENTEXI := $(GENTEXI:%=doc/avoptions_%.texi)
> @@ -69,11 +70,11 @@ doc/%-all.html: TAG = HTML
>  ifdef HAVE_MAKEINFO_HTML
>  doc/%.html: doc/%.texi $(SRC_PATH)/doc/t2h.pm $(GENTEXI)
>  	$(Q)$(TEXIDEP)
> -	$(M)makeinfo --html -I doc --no-split -D config-not-all --init-file=$(SRC_PATH)/doc/t2h.pm --output $@ $<
> +	$(M)$(MAKEINFO) --html -I doc --no-split -D config-not-all --init-file=$(SRC_PATH)/doc/t2h.pm --output $@ $<
>  
>  doc/%-all.html: doc/%.texi $(SRC_PATH)/doc/t2h.pm $(GENTEXI)
>  	$(Q)$(TEXIDEP)
> -	$(M)makeinfo --html -I doc --no-split -D config-all --init-file=$(SRC_PATH)/doc/t2h.pm --output $@ $<
> +	$(M)$(MAKEINFO) --html -I doc --no-split -D config-all --init-file=$(SRC_PATH)/doc/t2h.pm --output $@ $<
>  else
>  doc/%.html: doc/%.texi $(SRC_PATH)/doc/t2h.init $(GENTEXI)
>  	$(Q)$(TEXIDEP)
> -- 
> 2.51.0
> 
> _______________________________________________
> ffmpeg-devel mailing list -- ffmpeg-devel@ffmpeg.org
> To unsubscribe send an email to ffmpeg-devel-leave@ffmpeg.org
_______________________________________________
ffmpeg-devel mailing list -- ffmpeg-devel@ffmpeg.org
To unsubscribe send an email to ffmpeg-devel-leave@ffmpeg.org

      reply	other threads:[~2026-01-10 22:06 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-01-03 21:06 [FFmpeg-devel] " Patrice Dumas via ffmpeg-devel
2026-01-10 22:05 ` Patrice Dumas via ffmpeg-devel [this message]

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=aWLNMPne7QfgW4pR@free.fr \
    --to=ffmpeg-devel@ffmpeg.org \
    --cc=pertusus@free.fr \
    /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

Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://master.gitmailbox.com/ffmpegdev/0 ffmpegdev/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 ffmpegdev ffmpegdev/ https://master.gitmailbox.com/ffmpegdev \
		ffmpegdev@gitmailbox.com
	public-inbox-index ffmpegdev

Example config snippet for mirrors.


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git