diff options
author | Matt Simmons <simmonmt@acm.org> | 1997-10-26 05:13:41 +0000 |
---|---|---|
committer | Matt Simmons <simmonmt@acm.org> | 1997-10-26 05:13:41 +0000 |
commit | 8793bf68d416ce5494c1c5098755eef072da2859 (patch) | |
tree | 98c1270cd8bc8325b470e11e40b2b10ebab8cb93 /texinfo/Makefile | |
parent | 69b63f2afe648598f3bc65d75f502f84ef4b8bab (diff) |
Build the dvi if the user wants
Diffstat (limited to 'texinfo/Makefile')
-rw-r--r-- | texinfo/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/texinfo/Makefile b/texinfo/Makefile index f1d96fb..d3832b4 100644 --- a/texinfo/Makefile +++ b/texinfo/Makefile @@ -2,9 +2,16 @@ MAKEINFO=makeinfo info: bbdb.info +all: bbdb.dvi bbdb.info + bbdb.info: bbdb.texinfo $(MAKEINFO) bbdb.texinfo +bbdb.dvi: bbdb.texinfo + texi2dvi bbdb.texinfo + clean: - $(RM) bbdb.info + $(RM) -f bbdb.info* *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.log *.pg \ + *.toc *.tp *.vr *.vrs + |