diff options
| author | Arun Isaac | 2022-02-05 08:45:53 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-02-05 08:45:53 +0530 |
| commit | 081129b98d6068e50558740566f37ebbe9951a1d (patch) | |
| tree | d103ebba1eace8b26d4ace283388437614f8b582 /.gitignore | |
| parent | 3fa8be6e10f8c9c3f06c6fa9a4e003308158af78 (diff) | |
| download | ccwl-081129b98d6068e50558740566f37ebbe9951a1d.tar.gz ccwl-081129b98d6068e50558740566f37ebbe9951a1d.tar.lz ccwl-081129b98d6068e50558740566f37ebbe9951a1d.zip | |
Makefile: Copy HTML manual to website.
This was done correctly in the earlier autotools build system, but was
missed out in the migration to hand-written Makefiles.
* Makefile (website): Depend on website/manual/dev/en.
(website/manual/dev/en): New target.
(clean): Remove website/manual. Remove $(doc_html) recursively.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions