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 export</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 export</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 export [-pc] [-o <file>] [-u <date>] <url></code></strong></p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
102 | <p>Downloads a resource or a collection with all child resources, and writes the contents to an archive file. The Output is written to stdout, unless the <strong><code>-o</code></strong> option is used.</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
103 | <p>Currently the only available archive format is the ustar format.</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
104 | <p>These archive files can be uploaded to an collection with the <a href="./import.html">dav import</a> command.</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
105 | <p><strong><code>-p</code></strong> disable file name and content decryption. You get exactly what is stored on the server.</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
106 | <p><strong><code>-c</code></strong> enable file name and content decryption</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
107 | <p><strong><code>-o <file></code></strong> specify the local output file. A <strong>-</strong> indicates stdout</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
108 | <p><strong><code>-u <date></code></strong> download only files which are modified since the specified date. Uses the HTTP date format</p> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
109 | <h3 id="example-create-tar-file-from-collection">Example: create tar file from collection</h3> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
110 | <pre><code>$ dav export -o collection.tar myserv/col/</code></pre> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
111 | </div> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
112 | <!-- end content --> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
113 | </body> |
1607450065ba
this could be the 1.2 release
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
114 | </html> |