|
|
@@ -1,4 +1,10 @@ |
|
|
|
# https://github.com/ironcamel/Graph-Easy |
|
|
|
log.txt: log_inp.txt box.sh |
|
|
|
graph-easy < $< | sh box.sh > $@ |
|
|
|
|
|
|
|
log.html: log.txt |
|
|
|
(cat $<; echo; echo '<!-- Markdeep: --><style class="fallback">body{visibility:hidden;white-space:pre;font-family:monospace}</style><script src="markdeep.min.js" charset="utf-8"></script><script src="https://casual-effects.com/markdeep/latest/markdeep.min.js" charset="utf-8"></script><script>window.alreadyProcessedMarkdeep||(document.body.style.visibility="visible")</script>') > $@ |
|
|
|
|
|
|
|
diag.txt: diag_inp.txt box.sh |
|
|
|
graph-easy < $< | sh box.sh > $@ |
|
|
|
|
|
|
|