kobo / gaiden

Gaiden is a tool that makes it easy to create documentation with Markdown.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

New feature: Incremental Build

nobeans opened this issue · comments

If utime of source file <= utime of output file is true, a build of the source file can be skipped. You would avoid time-wasting.