diff options
Diffstat (limited to 'doc/tools')
-rw-r--r-- | doc/tools/texi2www/Makefile | 45 | ||||
-rw-r--r-- | doc/tools/texi2www/texi2dvi | 3 | ||||
-rwxr-xr-x | doc/tools/texi2www/texi2www | 4 | ||||
-rw-r--r-- | doc/tools/texi2www/texi2wwwdoc.texi | 2 |
4 files changed, 53 insertions, 1 deletions
diff --git a/doc/tools/texi2www/Makefile b/doc/tools/texi2www/Makefile new file mode 100644 index 0000000000..4b097a6409 --- /dev/null +++ b/doc/tools/texi2www/Makefile @@ -0,0 +1,45 @@ +# +# COPYRIGHT (c) 1988-1998. +# On-Line Applications Research Corporation (OAR). +# All rights reserved. +# +# $Id$ +# + +PROJECT=texi2www +DISTRIBUTION_LEVEL=internal + +include ../../Make.config + +all: html info ps + +dirs: + $(make-dirs) + +FILES= texi2wwwdoc.texi + +info: + +dvi: $(PROJECT).dvi +ps: dirs $(PROJECT).ps + +$(PROJECT).ps: $(PROJECT).dvi + dvips -o $(PROJECT).ps $(PROJECT).dvi + cp $(PROJECT).ps $(PS_INSTALL) + +# run texi2dvi twice to generate the xref's properly. +$(PROJECT).dvi: $(FILES) + $(TEXI2DVI) -v $(PROJECT).texi + texi2dvi -v $(PROJECT).texi + +html: dirs $(FILES) + -mkdir -p $(WWW_INSTALL)/$(PROJECT) + $(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/$(PROJECT) \ + $(PROJECT).texi + +clean: + rm -f *.o $(PROG) *.txt core + rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE) + rm -f $(PROJECT)-* $(GENERATED_FILES) + rm -f *.fixed _* + diff --git a/doc/tools/texi2www/texi2dvi b/doc/tools/texi2www/texi2dvi index e1c97b8cc7..cad99bef53 100644 --- a/doc/tools/texi2www/texi2dvi +++ b/doc/tools/texi2www/texi2dvi @@ -1,4 +1,7 @@ #!/usr/bin/perl +# +# $Id$ +# $version = <<END_VERSION; Jan 2 1996 diff --git a/doc/tools/texi2www/texi2www b/doc/tools/texi2www/texi2www index 285d9ca663..91c6cc14db 100755 --- a/doc/tools/texi2www/texi2www +++ b/doc/tools/texi2www/texi2www @@ -1,5 +1,9 @@ #!/usr/bin/perl # (Works with both perl 4 and perl 5) +# +# $Id$ +# + $version = 'Jan 2 1996'; $copyright = <<EOT; texi2www - converts texinfo to HTML diff --git a/doc/tools/texi2www/texi2wwwdoc.texi b/doc/tools/texi2www/texi2wwwdoc.texi index 030dd41d89..2791b0451c 100644 --- a/doc/tools/texi2www/texi2wwwdoc.texi +++ b/doc/tools/texi2www/texi2wwwdoc.texi @@ -1,7 +1,7 @@ \input texinfo @c -*-texinfo-*- @comment %**start of header -@setfilename texi2wwwdoc.info +@setfilename texi2www @settitle texi2www user's guide @comment %**end of header |