diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile index aa7146d..914db1c 100644 --- a/Makefile +++ b/Makefile | |||
@@ -7,6 +7,11 @@ CACHE_ROOT = /var/cache/cgit | |||
7 | CGIT_CONFIG = /etc/cgitrc | 7 | CGIT_CONFIG = /etc/cgitrc |
8 | CGIT_SCRIPT_NAME = cgit.cgi | 8 | CGIT_SCRIPT_NAME = cgit.cgi |
9 | 9 | ||
10 | # | ||
11 | # Let the user override the above settings. | ||
12 | # | ||
13 | -include cgit.conf | ||
14 | |||
10 | EXTLIBS = git/libgit.a git/xdiff/lib.a -lz -lcrypto | 15 | EXTLIBS = git/libgit.a git/xdiff/lib.a -lz -lcrypto |
11 | OBJECTS = shared.o cache.o parsing.o html.o ui-shared.o ui-repolist.o \ | 16 | OBJECTS = shared.o cache.o parsing.o html.o ui-shared.o ui-repolist.o \ |
12 | ui-summary.o ui-log.o ui-view.o ui-tree.o ui-commit.o ui-diff.o \ | 17 | ui-summary.o ui-log.o ui-view.o ui-tree.o ui-commit.o ui-diff.o \ |