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.
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
1 | <!DOCTYPE html> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
2 | <html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang=""> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
3 | <head> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
4 | <meta charset="utf-8" /> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
5 | <meta name="generator" content="pandoc" /> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
6 | <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
7 | <title>dav remove-repository</title> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
8 | <style type="text/css"> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
9 | code{white-space: pre-wrap;} |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
10 | span.smallcaps{font-variant: small-caps;} |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
11 | span.underline{text-decoration: underline;} |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
12 | div.column{display: inline-block; vertical-align: top; width: 50%;} |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
13 | </style> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
14 | <link rel="stylesheet" href="davdoc.css" /> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
15 | <!--[if lt IE 9]> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
16 | <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
17 | <![endif]--> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
18 | </head> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
19 | <body> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
20 | <div class="header"> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
21 | <a href="./index.html"><span>DavUtils documentation</span></a> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
22 | </div> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
23 | <div class="sidebar"> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
24 | <div class="nav"> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
25 | <h3>dav</h3> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
26 | <ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
27 | <li><a href="getting-started.html">Getting started</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
28 | <li><a href="commands.html">Commands</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
29 | <ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
30 | <li><a href="list.html">list</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
31 | <li><a href="get.html">get</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
32 | <li><a href="put.html">put</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
33 | <li><a href="mkdir.html">mkdir</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
34 | <li><a href="remove.html">remove</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
35 | <li><a href="copy.html">copy</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
36 | <li><a href="move.html">move</a></li> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
37 | <li><a href="rename.html">rename</a></li> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
38 | <li><a href="export.html">export</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
39 | <li><a href="import.html">import</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
40 | <li><a href="get-property.html">get-property</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
41 | <li><a href="set-property.html">set-property</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
42 | <li><a href="remove-property.html">remove-property</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
43 | <li><a href="lock.html">lock</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
44 | <li><a href="unlock.html">unlock</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
45 | <li><a href="info.html">info</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
46 | <li><a href="date.html">date</a></li> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
47 | <li><a href="versioncontrol.html">versioncontrol</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
48 | <li><a href="list-versions.html">list-versions</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
49 | <li><a href="checkout.html">checkout</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
50 | <li><a href="checkin.html">checkin</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
51 | <li><a href="uncheckout.html">uncheckout</a></li> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
52 | <li><a href="add-repository.html">add-repository</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
53 | <li><a href="remove-repository.html">remove-repository</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
54 | <li><a href="list-repositories.html">list-repositories</a></li> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
55 | <li><a href="repository-url.html">repository-url</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
56 | <li><a href="add-user.html">add-user</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
57 | <li><a href="remove-user.html">remove-user</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
58 | <li><a href="edit-user.html">edit-user</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
59 | <li><a href="list-users.html">list-users</a></li> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
60 | <li><a href="check-config.html">check-config</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
61 | </ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
62 | <li><a href="configuration.html">Configuration</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
63 | <li><a href="encryption.html">Encryption</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
64 | </ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
65 | </div> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
66 | <div class="nav"> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
67 | <h3>dav-sync</h3> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
68 | <ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
69 | <li><a href="introduction.html">Introduction</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
70 | <li><a href="sync-commands.html">Commands</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
71 | <ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
72 | <li><a href="pull.html">pull</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
73 | <li><a href="push.html">push</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
74 | <li><a href="archive.html">archive</a></li> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
75 | <li><a href="restore.html">restore</a></li> |
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
76 | <li><a href="list-conflicts.html">list-conflicts</a></li> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
77 | <li><a href="resolve-conflicts.html">resolve-conflicts</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
78 | <li><a href="delete-conflicts.html">delete-conflicts</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
79 | <li><a href="trash-info.html">trash-info</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
80 | <li><a href="empty-trash.html">empty-trash</a></li> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
81 | <li><a href="list-versions.html">list-versions</a></li> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
82 | <li><a href="add-tag.html">add-tag</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
83 | <li><a href="remove-tag.html">remove-tag</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
84 | <li><a href="set-tags.html">set-tags</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
85 | <li><a href="list-tags.html">list-tags</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
86 | <li><a href="add-directory.html">add-directory</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
87 | <li><a href="list-directories.html">list-directories</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
88 | <li><a href="sync-check-config.html">check-config</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
89 | <li><a href="check-repositories.html">check-repositories</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
90 | </ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
91 | <li><a href="sync-configuration.html">Configuration</a></li> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
92 | </ul> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
93 | </div> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
94 | </div> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
95 | |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
96 | <!-- begin content --> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
97 | <div class="content"> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
98 | <header> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
99 | <h1 class="title">dav remove-repository</h1> |
704
8b88efcbf56f
update html doc
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
563
diff
changeset
|
100 | </header> |
429
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
101 | <p><strong><code>dav remove-repository <reponame></code></strong></p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
102 | <p>This command removes a repository from the config.xml file.</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
103 | <p><strong>Command alias:</strong> remove-repo, rm-repo</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
104 | </div> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
105 | <!-- end content --> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
106 | </body> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
107 | </html> |