From a9bcc007ad1207efe7cdcb7534806307d19dbcb5 Mon Sep 17 00:00:00 2001 From: ceriel Date: Fri, 27 Sep 1991 17:08:48 +0000 Subject: [PATCH] Added sparc docs --- doc/.distr | 1 + doc/Makefile | 3 +++ doc/READ_ME | 1 + 3 files changed, 5 insertions(+) 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. -- 2.34.1