ref: 0a3160261d471ec1775024ab1616a9a534626ef3
parent: 8a784a3b9b8aa75de59c475acccc68802890f95b
author: aiju <devnull@localhost>
date: Mon Sep 28 07:33:06 EDT 2015
teach doctype how to timepic
--- a/rc/bin/doctype
+++ b/rc/bin/doctype
@@ -23,7 +23,7 @@
'{ files=`{echo $*}}
-grep -h '\$LIST|\|reference|Jp|^\.(EQ|TS|\[|PS|IS|GS|G1|GD|PP|BM|LP|BP|PI|cstart|begin|TH...)|^\.P$' $* |
+grep -h '\$LIST|\|reference|Jp|^\.(EQ|TS|\[|TPS|PS|IS|GS|G1|GD|PP|BM|LP|BP|PI|cstart|begin|TH...)|^\.P$' $* |
sort -u |
awk '
BEGIN { files = "'$files'" }@@ -33,6 +33,7 @@
/^\.EQ/ { eqn++ } /^\.TS/ { tbl++ } /^\.PS/ { pic++ }+/^\.TPS/ { tpic++; pic++ } /^\.IS/ { ideal++ } /^\.GS/ { tped++ } /^\.G1/ { grap++; pic++ }@@ -55,6 +56,7 @@
files = ""
}
else if (prefer) { x = "cat " files "| '$prefer'| "; files = "" }+ if (tpic) { x = x "timepic " files " | "; files = "" } if (tped) { x = x "tped " files " | "; files = "" } if (dag) { x = x "dag " files " | "; files = "" } if (ideal) { x = x "ideal -q " files " | "; files = "" }--
⑨