mirror of
https://github.com/powerline/powerline.git
synced 2025-07-29 16:55:07 +02:00
Merge commit '22e9dfd' into develop
This commit is contained in:
commit
09caf013d2
@ -1,8 +1,8 @@
|
|||||||
# Makefile for Sphinx documentation
|
# Makefile for Sphinx documentation
|
||||||
SPHINXOPTS ?=
|
SPHINXOPTS =
|
||||||
SPHINXBUILD ?= sphinx-build
|
SPHINXBUILD = sphinx-build
|
||||||
PAPER ?=
|
PAPER =
|
||||||
BUILDDIR ?= _build
|
BUILDDIR = _build
|
||||||
|
|
||||||
# Internal variables
|
# Internal variables
|
||||||
PAPEROPT_a4 = -D latex_paper_size=a4
|
PAPEROPT_a4 = -D latex_paper_size=a4
|
||||||
|
Loading…
x
Reference in New Issue
Block a user