summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorArun Isaac2021-06-18 14:20:46 +0530
committerArun Isaac2021-06-18 14:20:46 +0530
commit6bae44bacfba0f6ecf8d43ed2f11792b9571e58d (patch)
treea7afd5dd3ffc1a6ce73496095847baadfe548247 /.gitignore
parente4c81c5ce3459162d01f1ccd0e93f893a7c1ac6f (diff)
downloadguile-email-6bae44bacfba0f6ecf8d43ed2f11792b9571e58d.tar.gz
guile-email-6bae44bacfba0f6ecf8d43ed2f11792b9571e58d.tar.lz
guile-email-6bae44bacfba0f6ecf8d43ed2f11792b9571e58d.zip
Copy manual to website in a separate target.
* Makefile.am (website/manual/dev/en): New target. (website): Depend on website/manual/dev/en instead of building directly. Do not depend on phony target html.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions