liminix

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

Makefile (739B)

      1 # Minimal makefile for Sphinx documentation
      2 #
      3 
      4 # You can set these variables from the command line, and also
      5 # from the environment for the first two.
      6 SPHINXOPTS    ?=
      7 SPHINXBUILD   ?= sphinx-build
      8 SOURCEDIR     = .
      9 BUILDDIR      = _build
     10 
     11 # Put it first so that "make" without argument is like "make help".
     12 help:
     13 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
     14 
     15 hardware.rst: hardware.nix
     16 	@rm -f hardware.rst || true
     17 	@cp $$(nix-build hardware.nix) hardware.rst
     18 
     19 .PHONY: help Makefile
     20 
     21 # Catch-all target: route all unknown targets to Sphinx using the new
     22 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
     23 html: Makefile
     24 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)