[FFmpeg-devel] [PATCH 2/3] doc: rename *install-doc to *install-html

[Stefano Sabatini]

On date Friday 2013-09-06 01:08:31 -0300, James Almer encoded:
> Signed-off-by: James Almer <jamrial at gmail.com>
> ---
>  doc/Makefile | 10 +++++-----
>  1 file changed, 5 insertions(+), 5 deletions(-)
> 
> diff --git a/doc/Makefile b/doc/Makefile
> index 47f5cbe..5671050 100644
> --- a/doc/Makefile
> +++ b/doc/Makefile
> @@ -88,14 +88,14 @@ $(DOCS) doc/doxy/html: | doc/
>  doc/doxy/html: $(SRC_PATH)/doc/Doxyfile $(INSTHEADERS)
>  	$(M)$(SRC_PATH)/doc/doxy-wrapper.sh $(SRC_PATH) $^
>  
> -install-doc:
> +install-html:
>  
>  install-man:
>  
>  ifdef CONFIG_HTMLPAGES
> -install-progs-$(CONFIG_DOC): install-doc
> +install-progs-$(CONFIG_DOC): install-html
>  
> -install-doc: $(HTMLPAGES)
> +install-html: $(HTMLPAGES)
>  	$(Q)mkdir -p "$(DOCDIR)"
>  	$(INSTALL) -m 644 $(HTMLPAGES) "$(DOCDIR)"
>  endif
> @@ -110,9 +110,9 @@ install-man: $(MANPAGES)
>  	$(INSTALL) -m 644 $(MANPAGES3) "$(MANDIR)/man3"
>  endif
>  
> -uninstall: uninstall-doc uninstall-man
> +uninstall: uninstall-html uninstall-man
>  
> -uninstall-doc:
> +uninstall-html:
>  	$(RM) -r "$(DOCDIR)"

LGTM, thanks.

I find "docdir" a confusing name choice, since only affects HTML
documentation, "htmldir" could have been a better choice.
-- 
FFmpeg = Fascinating and Frenzy Most Purposeless Entertaining Gargoyle