Sun, 17 Dec 2023 14:25:34 +0100
[Makefile] fix missing rules preventing dry-runs
We have to support dry-runs, because many IDEs are using
dry-runs to collect build information.
Some rules have dependencies that expect certain files or
directories to be just present. We added respective build
rules which invoke the test program. This way, the behavior
when running make normally is exactly the same, but dry-runs
are also not failing now.
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
1 | .header, h1, h2, h3, .sidebar { |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
2 | font-family: sans-serif; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
3 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
4 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
5 | .header { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
6 | padding-top: 0.3em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
7 | padding-bottom: 0.5em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
8 | margin-bottom: 2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
9 | border: none; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
10 | border-bottom: 1px solid; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
11 | border-bottom-color: #2E2E2E; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
12 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
13 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
14 | .header span { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
15 | font-size: 2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
16 | font-weight: bold; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
17 | margin-left: 1em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
18 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
19 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
20 | .header img { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
21 | float: right; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
22 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
23 | |
285
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
24 | .header a:link { |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
25 | text-decoration: none; |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
26 | color: black; |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
27 | } |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
28 | |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
29 | .header a:visited { |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
30 | text-decoration: none; |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
31 | color: black; |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
32 | } |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
33 | |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
34 | .header a:hover { |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
35 | color: #e68a00; |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
36 | } |
02d3e4b1245f
adds some small fixes for 1.0 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
274
diff
changeset
|
37 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
38 | .sidebar { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
39 | float: left; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
40 | width: 15em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
41 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
42 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
43 | .nav { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
44 | color: black; |
273
c743721d566f
more documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
265
diff
changeset
|
45 | background-color: #d2d2d2; |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
46 | margin-bottom: 1em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
47 | padding-bottom: 0.1em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
48 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
49 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
50 | .nav h3 { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
51 | color: white; |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
52 | background-color: #008080; |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
53 | font-size: 1.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
54 | padding-top: 0.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
55 | padding-bottom: 0.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
56 | padding-left: 0.5em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
57 | margin-top: 0; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
58 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
59 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
60 | .nav ul { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
61 | margin-top: 0; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
62 | padding-top: 0; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
63 | font-size: 0.95em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
64 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
65 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
66 | .nav a:link { |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
67 | text-decoration: none; |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
68 | color: black; |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
69 | } |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
70 | |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
71 | .nav a:visited { |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
72 | text-decoration: none; |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
73 | color: black; |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
74 | } |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
75 | |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
76 | .nav a:hover { |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
77 | color: #e68a00; |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
78 | } |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
79 | |
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
80 | .content { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
81 | margin-left: 16em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
82 | padding: 0; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
83 | font-family: serif; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
84 | font-size: 1em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
85 | min-width: 16em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
86 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
87 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
88 | .content h1 { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
89 | color: white; |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
90 | background-color: #008080; |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
91 | font-size: 1.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
92 | padding-top: 0.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
93 | padding-bottom: 0.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
94 | padding-left: 0.5em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
95 | padding-right: 0; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
96 | margin-top: 0; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
97 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
98 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
99 | .content h2 { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
100 | font-size: 1.2em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
101 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
102 | |
274
5577d3eae04c
dav-sync command documentation complete
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
273
diff
changeset
|
103 | .content h3 { |
265
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
104 | font-size: 1.05em; |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
105 | } |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
106 | |
ee9e63c437c4
adds documentation for most dav commands
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
107 |