[docs] Fix missing " in makefile (#1117)

This commit is contained in:
stnolting 2024-12-10 19:08:51 +01:00 committed by GitHub
commit 6f5e1e7c9f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -88,5 +88,5 @@ help:
@echo " ug-html - build user guide as HTML page (public/ug/index.html)"
@echo " doxygen - build software documentation as HTML page (doxygen_build/html/index.html)"
@echo " revnumber - for overriding the revnumber attribute in 'pdf' and/or 'html'"
@echo " container - Build 'pdf' and 'html' in an 'asciidoctor-wavedrom' container
@echo " container - Build 'pdf' and 'html' in an 'asciidoctor-wavedrom' container"
@echo " clean - delete output files and directories"