xaizek / uncov (License: AGPLv3+) (since 2018-12-07)
Uncov(er) is a tool that collects and processes code coverage reports.
Clone URLs: https://code.reversed.top/user/xaizek/uncov ssh://rocketgit@code.reversed.top/user/xaizek/uncov
v0.1 v0.2 v0.3 v0.4 v0.5 master
Commit ac8a75483f173ea8b72bb037d7b48ccb6817c18b

Fix installing documentation
Author: xaizek
Author date (UTC): 2017-01-09 13:14
Committer name: xaizek
Committer date (UTC): 2017-01-09 13:14
Parent(s): f2b631781f1a7e432a03cf69d9ac2a032afe74b4
Signing key: 99DC5E4DB05F6BE2
Tree: 7e5552adbe6a1121c7c38ba11502af34967c84f4
File Lines added Lines deleted
Makefile 3 4
File Makefile changed (mode: 100644) (index 56aa54f..e74a623)
... ... self-coverage: UNCOV_PREFIX := $(out_dir)/
110 110 self-coverage: GCOV_PREFIX := ./ self-coverage: GCOV_PREFIX := ./
111 111 self-coverage: coverage self-coverage: coverage
112 112
113 man: $(out_dir)/docs/uncov.1
113 man: docs/uncov.1
114 114 # the next target doesn't depend on $(wildcard docs/*.md) to make pandoc # the next target doesn't depend on $(wildcard docs/*.md) to make pandoc
115 115 # optional # optional
116 $(out_dir)/docs/uncov.1: force | $(out_dir)/docs
116 docs/uncov.1: force | $(out_dir)/docs
117 117 pandoc -V title=uncov \ pandoc -V title=uncov \
118 118 -V section=1 \ -V section=1 \
119 119 -V app=uncov \ -V app=uncov \
 
... ... check: $(target) $(out_dir)/tests/tests reset-coverage
139 139
140 140 install: release install: release
141 141 $(INSTALL) -t $(DESTDIR)/usr/bin/ $(bin) uncov-gcov $(INSTALL) -t $(DESTDIR)/usr/bin/ $(bin) uncov-gcov
142 $(INSTALL) -m 644 $(out_dir)/docs/uncov.1 \
143 $(DESTDIR)/usr/share/man/man1/uncov.1
142 $(INSTALL) -m 644 docs/uncov.1 $(DESTDIR)/usr/share/man/man1/uncov.1
144 143
145 144 uninstall: uninstall:
146 145 $(RM) $(DESTDIR)/usr/bin/$(bin_name) $(DESTDIR)/usr/share/man/man1/uncov.1 $(RM) $(DESTDIR)/usr/bin/$(bin_name) $(DESTDIR)/usr/share/man/man1/uncov.1
Hints
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/uncov

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/uncov

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master