Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.zx2c4.com/cgit.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason A. Donenfeld <Jason@zx2c4.com>2016-08-02 05:15:01 +0300
committerJason A. Donenfeld <Jason@zx2c4.com>2026-05-05 00:03:58 +0300
commitbe267cbd66b2ee70d10b00aa006e5babb1ccae49 (patch)
tree7eb79272fec0552f61b6cc2c701c298b1007c282 /Makefile
parentd73763edd7cf8f594072a00a8da42c35c9822395 (diff)
css: switch monospace fonts
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9d39bf4..d461697 100644
--- a/Makefile
+++ b/Makefile
@@ -91,6 +91,8 @@ install: all
$(INSTALL) -m 0644 cgit.png $(DESTDIR)$(CGIT_DATA_PATH)/cgit.png
$(INSTALL) -m 0644 favicon.ico $(DESTDIR)$(CGIT_DATA_PATH)/favicon.ico
$(INSTALL) -m 0644 robots.txt $(DESTDIR)$(CGIT_DATA_PATH)/robots.txt
+ $(INSTALL) -m 0755 -d $(DESTDIR)$(CGIT_DATA_PATH)/source-code-pro
+ $(COPYTREE) source-code-pro/* $(DESTDIR)$(CGIT_DATA_PATH)/source-code-pro
$(INSTALL) -m 0755 -d $(DESTDIR)$(filterdir)
$(COPYTREE) filters/* $(DESTDIR)$(filterdir)