chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

build(makefile): explicit DEFAULT_GOAL

Browse Source
This commit is contained in:
Nicholas Nadeau
2022-09-26 10:47:18 -04:00
parent c13b9e89b6
commit ea3b48afeb
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/Makefile
+2 -1
View File
@@ -1,12 +1,13 @@
# Minimal makefile for Sphinx documentation # Minimal makefile for Sphinx documentation
.DEFAULT_GOAL := help
# You can set these variables from the command line. # You can set these variables from the command line.
SPHINXOPTS = SPHINXOPTS =
SPHINXBUILD = sphinx-build SPHINXBUILD = sphinx-build
SOURCEDIR = . SOURCEDIR = .
BUILDDIR = _build BUILDDIR = _build
# Put it first so that "make" without argument is like "make help".
help: help:
@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)