Rename Makefile to Makefile

hippylib · May 16, 2024 · 3faf6e5 · 3faf6e5
1 parent 4f9c576
commit 3faf6e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/Makefile → docs/Makefile b/doc/Makefile → docs/Makefile
@@ -17,4 +17,4 @@ help:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)