blob: 31c8232c80f6619679f96150d6e426117e2236df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/sh
# Script to coordinate parsing of S. Chamberlain source-embedded
# documentation markup language.
# Four passes:
# 1) awk discards lines not intended for docn, and marks blocks of
# text with comments identifying source file;
# 2) first sed pass interprets Chamberlain markup;
# 3) second sed pass does cleanup that involves merging lines
# 4) third sed pass does remaining cleans up---making {}
# printable within examples, and eliminating empty index entries and
# headings.
#Third and second sed passes are separate because order of execution is hard
#to control otherwise, making one or another of the things involving @example
#inoperative.
base=`echo $1 | cut -d '.' -f 1`
awk -f awkscan $1 | \
sed -f sedscript | \
sed -f exmerge | \
sed -f exfilter >$base.texi
|
