Update HTMLFILES to fix 'make dist'

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 285f271..5357e3e 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,4 +1,4 @@
-## $Id: Makefile.am,v 1.39 2006-02-16 16:50:18 marc Exp $
+## $Id: Makefile.am,v 1.40 2006-02-19 15:10:04 adam Exp $
 docdir=$(datadir)/doc/@PACKAGE@
 
 SUPPORTFILES = \
@@ -50,6 +50,7 @@ HTMLFILES =  \
    gfs-config.html \
    grs-exchange-formats.html \
    grs-internal-representation.html \
+   grs-record-model.html \
    indexdata.html \
    installation.debian.html \
    installation.html \
@@ -57,8 +58,10 @@ HTMLFILES =  \
    introduction.html \
    license.html \
    locating-records.html \
+   maincomponents.html \
    protocol-support.html \
    quick-start.html \
+   record-model.html \
    record-model-alvisxslt-conf.html \
    record-model-alvisxslt.html \
    record-model-grs-conf.html \
@@ -70,11 +73,11 @@ HTMLFILES =  \
    shadow-registers.html \
    simple-indexing.html \
    support.html \
+   workflow.html \
    zebra.html \
    zebraidx.html
 
 
-
 PNGFILES=zebra.png
 EPSFILES=zebra.eps