← Back to branch summary

~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to docs/userman/makeman.csh

  • Committer: Michael R. Head
  • Date: 2006-09-06 22:11:55 UTC
  • Revision ID: burner@n23-20060906221155-7e398d23438a7ee4
Add the files from the 3.0.1 release package

Show diffs side-by-side

added added

removed removed

Lines of Context:
docs/userman/makeman.csh
 
1
#!/bin/csh -f
 
2
 
 
3
if ( ($#argv > 2) || ($#argv < 1) ) then
 
4
  echo "Usage:  `basename $0` Volume# [ps|html]"
 
5
  exit(1)
 
6
endif
 
7
 
 
8
set manual = manual{$1}
 
9
 
 
10
if ( ($#argv == 1) || ($2 == ps) ) then
 
11
  latex ${manual}       
 
12
  bibtex ${manual}
 
13
  latex ${manual}       # now cites are correct, but references aint
 
14
  makeindex ${manual}   # assuming no indexes in the bibliography
 
15
  latex ${manual}       # now index entries to all pages except index itself
 
16
                        #   is ok...
 
17
  latex ${manual}       # make that correct too
 
18
  dvips -t letter -o ${manual}.ps ${manual}.dvi
 
19
  ps2pdf ${manual}.ps
 
20
  gzip -c ${manual}.ps > ${manual}.ps.gz
 
21
endif
 
22
 
 
23
if ( ($#argv == 1) || ($2 == html) ) then
 
24
  latex2html -local_icons -scalable_fonts -show_section_numbers ${manual}
 
25
endif
 
26
 
 
27
exit(0)