diff options
| -rw-r--r-- | BitKeeper/etc/logging_ok | 1 | ||||
| -rw-r--r-- | docs/Makefile | 7 | ||||
| -rw-r--r-- | docs/check_pkgs | 1 | ||||
| -rw-r--r-- | docs/src/user.tex | 2 |
4 files changed, 3 insertions, 8 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index f2a27dc63d..44556798fe 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -11,6 +11,7 @@ br260@labyrinth.cl.cam.ac.uk br260@laudney.cl.cam.ac.uk bren@anvil.research cl349@arcadians.cl.cam.ac.uk +cl349@firebug.cl.cam.ac.uk cl349@freefall.cl.cam.ac.uk cl349@labyrinth.cl.cam.ac.uk cwc22@centipede.cl.cam.ac.uk diff --git a/docs/Makefile b/docs/Makefile index d9ae6715ac..e05a84fad4 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -7,7 +7,6 @@ PS2PDF := ps2pdf DVIPS := dvips LATEX := latex FIG2DEV := fig2dev -TGIF := tgif LATEX2HTML := latex2html pkgdocdir := /usr/share/doc/xen @@ -17,8 +16,7 @@ DOC_PS := $(patsubst src/%.tex,ps/%.ps,$(DOC_TEX)) DOC_PDF := $(patsubst src/%.tex,pdf/%.pdf,$(DOC_TEX)) DOC_HTML := $(patsubst src/%.tex,html/%/index.html,$(DOC_TEX)) -GFX = $(patsubst %.obj, %.eps, $(wildcard figs/*.obj)) -GFX += $(patsubst %.fig, %.eps, $(wildcard figs/*.fig)) +GFX = $(patsubst %.fig, %.eps, $(wildcard figs/*.fig)) all: ps pdf html rm -f *.aux *.dvi *.bbl *.blg *.glo *.idx *.ilg *.log *.ind *.toc @@ -58,9 +56,6 @@ ps/%.ps: %.dvi %.eps: %.fig $(FIG2DEV) -L eps $< $@ -%.eps: %.obj - $(TGIF) -print -color -eps $< - html/%/index.html: src/%.tex $(INSTALL_DIR) $(@D) $(LATEX2HTML) -split 0 -show_section_numbers -toc_depth 3 -nonavigation \ diff --git a/docs/check_pkgs b/docs/check_pkgs index f3770cca66..e705720458 100644 --- a/docs/check_pkgs +++ b/docs/check_pkgs @@ -17,6 +17,5 @@ silent_which latex2html || exit 1 silent_which dvips || exit 1 silent_which ps2pdf || exit 1 silent_which fig2dev || exit 1 -silent_which tgif || exit 1 exit 0 diff --git a/docs/src/user.tex b/docs/src/user.tex index a50300327c..0e2c040ed6 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -229,7 +229,7 @@ tree. \item [$*$] Development installation of libcurl (e.g., libcurl-devel) \item [$*$] Development installation of zlib (e.g., zlib-dev). \item [$*$] Development installation of Python v2.2 or later (e.g., python-dev). -\item [$*$] \LaTeX, transfig and tgif are required to build the documentation. +\item [$*$] \LaTeX and transfig are required to build the documentation. \end{itemize} Once you have satisfied the relevant prerequisites, you can |