# Last edited on 2026-01-16 17:44:21 by stolfi 73 VMS page descriptions for the 25e1 release - appendix (20e1) WORK DONE FOR THE ABORTED 20e1 RELEASE OF THE DESCRIPTION FILE MERGING EVERYTHING AGAIN For release 20e1, we need to merge the 16e6 descriptions with the comments from the EVMT files. For editing purposes, it is usually better to have one single file than many per-page files. Let's concatenate them all in one file, removing the leading "# ": cat L16+H-eva/fnum-to-pnum.tbl \ | sort -b +1 -2 \ | sed -e 's:[#].*$::' \ | gawk '/./{ print $1; }' \ > .pages /bin/rm -f .tmp foreach f ( `cat .pages` ) /usr/bin/printf " %s" "$f" /usr/bin/printf "----------------------------------------------------------------------\n" >> .tmp /usr/bin/printf "@@ ${f}\n" >> .tmp cat data-16e6/$f \ | sed \ -e 's:^[#]$::' \ -e 's:^[#][ ]::' \ >> .tmp end Moved the ".tmp" file to "comm20e1.txt" and started editing manually. Let's leave the per-section comments ("data-sections") out for the time being. UNIFYING THE DESCRIPTIONS Keeping two copies of the "Identification" and "Attributes" sections (in comm20e1 and text20e1) was a bad idea, so let's merge them. First we must split "comm20e1.txt" into two parts, "cmhd20e1.txt" with the "Identification" and "Attributes" sections, and "cmtx20e1.txt" with the rest ("Description" and "Comments"). Marked off the Id/Attr sections in "comm20e1.txt" with "+ID" and "-ID". Splitting: cat comm20e1.txt \ | sed -e '/^[+]ID/,/^[-]ID/d' \ > .cmdc cat comm20e1.txt \ | sed -e '/^[+]ID/,/^[-]ID/\!d' \ > .cmhd Checking whether we have got everything: cat comm20e1.txt | sort > .aaa cat .cmdc .cmhd | sort > .bbb diff .aaa .bbb Appended ".cmhd" to "cmhd20e1.txt". Appended ".cmdc" to "cmdc20e1.txt" Moved "comm20e1.txt" to "SAVE/2004-11-27-comm20e1.txt" Extracted page header comments "txhd20e1.txt" from "text20e1.evt" (see note 670). Placed in file "txhd20e1-omega05.txt" the comments extracted from "GR/theta05.txt". Concatenated "cmhd20e1.txt", "txhd20e1.txt" and "txhd20e1-omega05.txt" to produce "cmhd20e1-01.txt". cat cmhd20e1.txt txhd20e1.txt txhd20e1-omega05.txt \ > cmhd20e1-01.txt Manually deleted leading "# " from "cmhd20e1-01.txt". Combined texts from same page, and deleted duplicate lines: remove-dup-lines cmhd20e1-01.txt > cmhd20e1-02.txt Editing cmhd20e1-02.txt by hand for a while, then did again remove-dup-lines cmhd20e1-02.txt > cmhd20e1-03.txt