|
|
@@ -2,5 +2,8 @@ |
|
|
diag.txt: diag_inp.txt box.sh |
|
|
diag.txt: diag_inp.txt box.sh |
|
|
graph-easy < $< | sh box.sh > $@ |
|
|
graph-easy < $< | sh box.sh > $@ |
|
|
|
|
|
|
|
|
|
|
|
diag.html: diag.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>') > $@ |
|
|
|
|
|
|
|
|
diagtest: |
|
|
diagtest: |
|
|
ls box.sh diag_inp.txt Makefile | entr sh -c 'make diag.txt && cat diag.txt' |
|
|
ls box.sh diag_inp.txt Makefile | entr sh -c 'make diag.txt && cat diag.txt' |
