# HG changeset patch
# User Robb Romans <3r@xxxxxxxxxx>
# Node ID f619a10fdb762bfc9f061622e6aea1bd6c5e5fb3
# Parent  9c9a3bb878c2c1c9cc932cbc90335ad701b0e009

Explicitly specify manuals; preparation for splitting files.

I'm about to begin splitting the large documentation manuals
into smaller bits for easier editing, etc. Since the chapter
files need a .tex extension, the Makefile will have to be
modified.

Signed-Off-By: Robb Romans <3r@xxxxxxxxxx>

diff -r 9c9a3bb878c2 -r f619a10fdb76 docs/Makefile
--- a/docs/Makefile	Wed Sep 14 17:06:37 2005
+++ b/docs/Makefile	Wed Sep 14 18:08:36 2005
@@ -12,7 +12,7 @@
 
 pkgdocdir	:= /usr/share/doc/xen
 
-DOC_TEX		:= $(wildcard src/*.tex)
+DOC_TEX		:= src/user.tex src/interface.tex
 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))