mirror of
https://github.com/johnkerl/miller.git
synced 2026-01-23 02:14:13 +00:00
Don't make docs by default
Docs require checkout and manual install of a tool provided by the original author. It looks simple, but I don't really want to get into it.
This commit is contained in:
parent
ef4ac0f81a
commit
fdd6ac5a6c
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
|
@ -1,4 +1,4 @@
|
|||
all: c doc
|
||||
all: c
|
||||
c: .always
|
||||
make -C c install
|
||||
doc: .always
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue