if ENABLE_SPECS

# Main DocBook/XML files (DOCTYPE book)
docbook = analysis.xml appgroup.xml secint.xml XACE-Spec.xml

# The location where the DocBook/XML files and their generated formats are installed
shelfdir = $(docdir)/Xserver

# Generate DocBook/XML output formats with or without stylesheets
include $(top_srcdir)/docbook.am

endif ENABLE_SPECS