Simon Legner
|
e075b2149b
|
scripts/completion.pl: also generate fish completion file
This is the renamed script formerly known as zsh.pl
Closes #3545
|
2019-03-02 11:31:18 +01:00 |
Dave Reisner
|
0b4ccc97f2
|
scripts: include _curl as part of CLEANFILES
Closes #2718
|
2018-07-08 23:20:11 +02:00 |
Daniel Stenberg
|
4cbaee45a9
|
scripts/make: use $(EXEEXT) for executables
Reported-by: bodop
Fixes #771
|
2016-04-18 15:51:32 +02:00 |
|
Daniel Stenberg
|
4af40b3646
|
URLs: change all http:// URLs to https://
|
2016-02-03 00:19:02 +01:00 |
Alessandro Ghedini
|
ebfe00c050
|
scripts: don't generate and install zsh completion when cross-compiling
|
2016-01-11 23:32:30 +01:00 |
|
Alessandro Ghedini
|
fb7cbf75a5
|
scripts: fix zsh completion generation
The script should use the just-built curl, not the system one. This fixes
zsh completion generation when no system curl is installed.
|
2016-01-11 23:32:30 +01:00 |
Dan Fandrich
|
28533d3277
|
scripts/Makefile: build zsh script even in an out-of-tree build
|
2015-12-16 22:13:02 +01:00 |
|
Daniel Stenberg
|
3b51652328
|
scripts/makefile: add standard header
|
2015-12-09 00:34:39 +01:00 |
|
Daniel Stenberg
|
f08fea7169
|
scripts/Makefile: fix GNUism and survive no perl
Closes #555
Reported-by: Thomas Klausner
|
2015-12-09 00:34:12 +01:00 |
|
Daniel Stenberg
|
19a8afb3c0
|
zsh install: fix DESTDIR support
Reported-by: Mohammad AlSaleh
|
2015-11-27 23:24:07 +01:00 |
Daniel Shahaf
|
be0d4141af
|
build: Install zsh completion
Fixes #534
Closes #537
|
2015-11-24 22:22:01 +01:00 |