diff options
Diffstat (limited to 'development/noweb/patches/toascii.diff')
-rw-r--r-- | development/noweb/patches/toascii.diff | 143 |
1 files changed, 0 insertions, 143 deletions
diff --git a/development/noweb/patches/toascii.diff b/development/noweb/patches/toascii.diff deleted file mode 100644 index a6f7fd2e81..0000000000 --- a/development/noweb/patches/toascii.diff +++ /dev/null @@ -1,143 +0,0 @@ -diff --git a/src/.gitignore b/src/.gitignore ---- a/src/.gitignore -+++ b/src/.gitignore -@@ -1,3 +1,2 @@ - /texhash - /solmake --/lib/toascii -diff --git a/src/lib/toascii b/src/lib/toascii -new file mode 100755 ---- /dev/null -+++ b/src/lib/toascii -@@ -0,0 +1,131 @@ -+#!/bin/sh -+delay=0 noindex=0 -+for i do -+ case $i in -+ -delay) delay=1 ;; -+ -noindex) noindex=1 ;; -+ *) echo "This can't happen -- $i passed to toascii" 1>&2 ; exit 1 ;; -+ esac -+done -+awkfile=$(mktemp) -+textfile=$(mktemp) -+tagsfile=$(mktemp) -+export awkfile textfile tagsfile -+trap 'rm -f $awkfile $textfile $tagsfile' 0 1 2 10 14 15 -+nawk 'BEGIN { textfile=ENVIRON["textfile"] -+ tagsfile=ENVIRON["tagsfile"] } -+ /^@begin code/ { ++secno } -+ /^@xref label/ { print $3, secno >tagsfile } -+ /^@((begin|end) (docs|code))/ { print >textfile } -+ /^@(text|nl|defn|use)/ { print >textfile } -+ /^@xref (ref|notused)/ { print >textfile } -+ /^@xref (begin|end)(defs|uses)/ { print >textfile } -+ /^@xref (def|use)item/ { print >textfile} -+ /^@xref ((begin|end)chunks)|(chunk(begin|use|defn|end))/ { print >textfile } -+ /^@index (begin|end)(defs|uses)/ { print >textfile } -+ /^@index (is(us|defin)ed)|((def|use)item)/ { print >textfile } -+ /^@index ((begin|end)index)|(entry(begin|use|defn|end))/ { print >textfile }' -+nawk 'BEGIN { -+ textfile = ENVIRON["textfile"] -+ tagsfile = ENVIRON["tagsfile"] -+ tfmt="detex | fmt -79" -+ cfmt="expand -4 | fold -75 | sed \"s/^/ /\"" -+ xfmt="fold -75 | sed \"s/^/ /\"" -+ zfmt="cat" -+ while (getline <tagsfile > 0) -+ tag[$1] = $2 -+ close(tagsfile) -+ } -+ /^@begin docs/ { out = tfmt } -+ /^@end docs/ { close(out) } -+ /^@begin code/ { out = cfmt; code = 1; ++secno } -+ /^@end code/ { endcode(); close(out); printf "\n" } -+ /^@text/ { printf "%s", substr($0, 7) | out } -+ /^@nl/ { # printf "(->%s)", formatname(out) | out ; -+ printf "\n" | out } -+ /^@xref ref/ { lastxrefref = tag[substr($0, 11)] } -+ /^@defn/ { name = convquote(substr($0, 7)) -+ printf "\n### %d ### %s%s=", -+ secno, chunkname(name, lastxrefref), defn[name] -+ defn[name] = "+" } -+ /^@use/ { name = convquote(substr($0, 6)) -+ printf "%s", chunkname(name, lastxrefref) | out } -+ /^@xref begindefs/ { endcode() -+ printf "This definition continued in" | out } -+ /^@xref beginuses/ { endcode() -+ printf "This code used in" | out } -+ /^@xref notused/ { endcode() -+ print "This code not used in this document." | out } -+ /^@xref (def|use)item/ { addlist(tag[$3]) } -+ /^@xref end(defs|uses)/ { printlist() } -+ $0 ~ /^@index begindefs/ && !noindex { -+ endcode() -+ print "Defines:" | out } -+ -+ $0 ~ /^@index isused/ && !noindex { -+ if (tag[$3] != lastxrefref) addlist(tag[$3]) } -+ -+ $0 ~ /^@index defitem/ && !noindex { -+ printf " %s,", $3 | out -+ if (nlist == 0) printf " not used in this document.\n" | out -+ else { printf " used in" | out; printlist() } } -+ $0 ~ /^@index beginuses/ && !noindex { endcode(); printf "Uses" | out } -+ $0 ~ /^@index isdefined/ && !noindex { lastuse = tag[$3] } -+ $0 ~ /^@index useitem/ && !noindex { addlist(sprintf("%s %s", $3, lastuse)) } -+ $0 ~ /^@index enduses/ && !noindex { printlist() } -+ /^@xref beginchunks/ { close(out); out = zfmt -+ print "List of code chunks\n" | out } -+ /^@xref chunkbegin/ { name = convquote(substr($0, length($3) + 19)) -+ printf "%s\n", chunkname(name, tag[$3]) | out } -+ /^@xref chunkuse/ { addlist(tag[$3]) } -+ /^@xref chunkdefn/ { } -+ /^@xref chunkend/ { if (nlist == 0) -+ print " Not used in this document." | out -+ else { printf " Used in" | out; printlist() } } -+ /^@xref endchunks/ { } -+ $0 ~ /^@index beginindex/ && !noindex { print "\nList of identifiers (defini" \ -+ "tion in parentheses)\n" | out } -+ $0 ~ /^@index entrybegin/ && !noindex { name = substr($0, length($3 + 19)) -+ lastdefn = tag[$3] -+ printf "%s: ", $4 | out } -+ $0 ~ /^@index entryuse/ && !noindex { addlist(tag[$3]) } -+ $0 ~ /^@index entrydefn/ && !noindex { } -+ $0 ~ /^@index entryend/ && !noindex { for (i = 1; i <= nlist; i++) -+ if (list[i] == lastdefn) -+ sub(/.*/, "(&)", list[i]) -+ if (nlist == 0) -+ print "Not used." | out -+ else printlist() } -+ $0 ~ /^@index endindex/ && !noindex { } -+ /^@fatal / { exit 1 } -+ END { -+ close(out) -+ } -+ function endcode() { -+ if (code == 1) { -+ code = 0 -+ close(out) -+ out = xfmt -+ printf "\n" | out } } -+ function addlist(s, i) { -+ for (i = 1; i <= nlist; i++) -+ if (s == list[i]) return -+ list[++nlist] = s } -+ -+ function printlist( i) { -+ if (nlist == 1) printf " %s.\n", list[1] | out -+ else if (nlist == 2) printf " %s and %s.\n", list[1], list[2] | out -+ else { -+ for (i = 1; i < nlist; i++) -+ printf " %s,", list[i] | out -+ printf " and %s.\n", list[nlist] | out } -+ for (i in list) delete list[i] -+ nlist = 0 } -+ function convquote(s) { gsub(/\[\[|\]\]/, "", s); return s } -+ function chunkname(name, number) { -+ if (number == 0) -+ return sprintf("<%s>", name) -+ else -+ return sprintf("<%s %d>", name, number) -+ }' noindex=$noindex $textfile -+exit $? |