diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 0ccb7de..6691690 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -1,12 +1,14 @@ +TBL= tbl TROFF= ditroff MS= -ms -PREVIEW= dpv +FUNNYTAB= $$HOME/lib/funnytab +PREVIEW= dpv -f $(FUNNYTAB) -intro: intro.dit - $(PREVIEW) intro.dit +tut: tut.dit + $(PREVIEW) tut.dit -modules: modules.dit - $(PREVIEW) modules.dit +mod: mod.dit + $(PREVIEW) mod.dit paper: paper.dit $(PREVIEW) paper.dit @@ -14,7 +16,7 @@ paper: paper.dit ref: ref.dit $(PREVIEW) ref.dit -ALL= intro.dit modules.dit paper.dit ref.dit +ALL= tut.dit mod.dit paper.dit ref.dit all: $(ALL) @@ -26,4 +28,4 @@ clean: .SUFFIXES: .ms .dit .ms.dit: - $(TROFF) $(MS) $*.ms >$@ + $(TBL) $*.ms | $(TROFF) $(MS) >$@ |