diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-10-20 01:24:22 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-10-20 01:26:44 +0100 |
| commit | 6554806b8b0e27765705f0e44fd6d0503862079f (patch) | |
| tree | 0f46347d63fcacaae28808dad8e6e3b138f55550 /.gitignore | |
| parent | b83e07aa1f07ade33315dfcac5d34a305976f1eb (diff) | |
Build system: Provide `web-install' target
This copies the various website files to WEBDIR.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -36,3 +36,4 @@ regress/pipe.out regress/pipe.err src/Makefile src/config.h +web |