diff --git a/doc/.distr b/doc/.distr index f763307f4..5b75f14b2 100644 --- a/doc/.distr +++ b/doc/.distr @@ -27,3 +27,4 @@ ego occam int ceg +sparc diff --git a/doc/Makefile b/doc/Makefile index 80e857f2b..061c245e1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -49,6 +49,9 @@ top.X: occam.doc: occam.X occam.X: cd occam; make "PIC="$(PIC) "TBL="$(TBL) "EQN="$(EQN) "TARGET="$(TARGET) +sparc.doc: sparc.X +sparc.X: + cd sparc; make "PIC="$(PIC) "TBL="$(TBL) "TARGET="$(TARGET) ego.doc: ego.X ego.X: cd ego; make "REFER="$(REFER) "TARGET="$(TARGET) "TBL="$(TBL) diff --git a/doc/READ_ME b/doc/READ_ME index d3964db38..9e076bf12 100644 --- a/doc/READ_ME +++ b/doc/READ_ME @@ -3,5 +3,6 @@ If you don't have that, you can change references to it with a sed-script like s/\.ft CW/.ft yourfont/ s/\\f(CW/\\fyourfont/g + s/^.fp\(.*\)CW$/.fp\1yourfont/ However, the font must be a constant-width font for the documents to look reasonable.