diff options
Diffstat (limited to 'libgloss/doc/Makefile.in')
| -rw-r--r-- | libgloss/doc/Makefile.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libgloss/doc/Makefile.in b/libgloss/doc/Makefile.in index 2dbb2a681..07fb1e135 100644 --- a/libgloss/doc/Makefile.in +++ b/libgloss/doc/Makefile.in @@ -39,8 +39,12 @@ all: info: porting.info +html: porting.html + dvi: porting.dvi +pdf: porting.pdf + ps: porting.ps doc: info dvi @@ -53,10 +57,16 @@ porting: porting.dvi porting.info porting.dvi: $(srcdir)/porting.texi $(srcdir)/porting.texi $(TEXI2DVI) $(srcdir)/porting.texi +porting.pdf: $(srcdir)/porting.texi $(srcdir)/porting.texi + $(TEXI2DVI) --pdf $(srcdir)/porting.texi + # info file for online browsing porting.info: $(srcdir)/porting.texi $(srcdir)/porting.texi $(MAKEINFO) -I $(srcdir) -o porting.info $(srcdir)/porting.texi +porting.html: $(srcdir)/porting.texi $(srcdir)/porting.texi + $(MAKEINFO) --html -I $(srcdir) -o porting.html $(srcdir)/porting.texi + porting.ps: porting.dvi dvips -f porting.dvi > porting.ps |