RE: [PATCH 8/9] Makefile: add some simple make automations

> From: Alex Bennée <[email protected]>
> Sent: 08 October 2025 08:29 PM
> 
> This is just a helpful shortcut, especially when editing the documents within
> an IDE which will offer up make targets to build the documents.
> 
> Signed-off-by: Alex Bennée <[email protected]>
> ---
>  Makefile | 33 +++++++++++++++++++++++++++++++++
>  1 file changed, 33 insertions(+)
>  create mode 100644 Makefile
> 
> diff --git a/Makefile b/Makefile
> new file mode 100644
> index 0000000..989b429
> --- /dev/null
> +++ b/Makefile
> @@ -0,0 +1,33 @@
> +# -*- Mode: makefile -*-
> +#
> +# Basic Makefile to aid automation of document building #
> +
> +.PHONY: all local
> +all:
> +	./makeall.sh
> +
> +local-all:
> +	./makeall.sh local
> +
> +.PHONY: html local-html
> +
> +html:
> +	./makehtml.sh
> +
> +local-html:
> +	./makehtml.sh local
> +
> +.PHONY: clean
> +clean:
> +	git clean -fd
> +
> +.PHONY: help
> +help:
> +	@echo "Build the VIRTIO specification documents."
> +	@echo ""
> +	@echo "Possible operations are:"
> +	@echo
> +	@echo " $(MAKE)         Build everything"
> +	@echo " $(MAKE) html    Build local html"
> +	@echo " $(MAKE) clean   Remove all intermediate files"
> --
> 2.47.3
> 

Reviewed-by: Parav Pandit <[email protected]>