Build system: Provide `web-install' target

[adns] / .gitignore

diff --git a/.gitignore b/.gitignore
index 05e7a36..17f31db 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -36,3 +36,4 @@ regress/pipe.out
 regress/pipe.err
 src/Makefile
 src/config.h
+web