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>2023-01-11 23:51:17 +0300
commit6a29695be1b5f7746048d170917a031e190f7287 (patch)
treec7eab034a7e08ddbf0f4a97e77962cfda64b2fa9 /Makefile
parent0c27ce4aefe14a70a823739d5670604bca9581c4 (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 ad825be..1203ddc 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)