diff options
| author | VirtualTam <virtualtam@flibidi.net> | 2017-08-01 19:25:45 +0200 |
|---|---|---|
| committer | VirtualTam <virtualtam@flibidi.net> | 2017-08-02 14:48:41 +0200 |
| commit | 29712e905b8a9bdf1eaa21cbda3ca7c9eb215937 (patch) | |
| tree | 0da3171bdd143c3aa6810ed44e615990aeda995f /doc/html/search.html | |
| parent | 1093ddeea28fb593c670f8c1da2cdcdd767c9a80 (diff) | |
| download | Shaarli-29712e905b8a9bdf1eaa21cbda3ca7c9eb215937.tar.gz Shaarli-29712e905b8a9bdf1eaa21cbda3ca7c9eb215937.tar.zst Shaarli-29712e905b8a9bdf1eaa21cbda3ca7c9eb215937.zip | |
documentation: include generated HTML in release archives
Closes https://github.com/shaarli/Shaarli/issues/908
Relates to https://github.com/shaarli/Shaarli/pull/772
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to 'doc/html/search.html')
0 files changed, 0 insertions, 0 deletions