diff options
author | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-04-27 18:31:47 +0300 |
---|---|---|
committer | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-04-27 18:31:47 +0300 |
commit | 0c1c76b9271e871da673df14fc7a7e2564a71ef6 (patch) | |
tree | 14aa04e3265c90467219bd1434e3fde46c873921 /doc | |
parent | 9a3360283b398f30990d76cecbd4d1a3f2b4db8d (diff) |
Work around lack of dependency tracking with Makefiles and Ninja
Diffstat (limited to 'doc')
m--------- | doc/html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/html b/doc/html -Subproject 3c69142e2771d3b0d602f18c64d663d60f9d95d +Subproject 320d90243f9571802284d74d332942d2c24b2a3 |