Browse Source

rename files, and convert makefile to be more generic...

add generated files to .gitignore...
main
John-Mark Gurney 4 years ago
parent
commit
97d0de193f
4 changed files with 12 additions and 7 deletions
  1. +8
    -0
      .gitignore
  2. +4
    -7
      Makefile
  3. +0
    -0
      diag.getxt
  4. +0
    -0
      log.getxt

+ 8
- 0
.gitignore View File

@@ -1,3 +1,11 @@
diag.html
diag.txt
.DS_Store

# make this from *.getxt -> *.diag and *.html
diag.diag
embedlab1.diag
log.diag
diag.html
embedlab1.html
log.html

+ 4
- 7
Makefile View File

@@ -1,15 +1,12 @@
# 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>') > $@
.SUFFIXES: .getxt .diag .html

diag.txt: diag_inp.txt box.sh
.getxt.diag: box.sh
graph-easy < $< | sh box.sh > $@

diag.html: diag.txt
.diag.html:
(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:
ls box.sh diag_inp.txt Makefile | entr sh -c 'make diag.txt && cat diag.txt'
ls box.sh diag.getxt Makefile | entr sh -c 'make diag.diag && cat diag.diag'

diag_inp.txt → diag.getxt View File


log_inp.txt → log.getxt View File


Loading…
Cancel
Save