20 lines
805 B
Makefile
20 lines
805 B
Makefile
XMLLINT = xmllint --catalogs
|
|
XSLTPROC = xsltproc --catalogs \
|
|
--param section.autolabel 1 \
|
|
--param section.label.includes.component.label 1 \
|
|
--param html.stylesheet \'style.css\' \
|
|
--param xref.with.number.and.title 1 \
|
|
--param toc.section.depth 3 \
|
|
--param admon.style \'\' \
|
|
--param callout.graphics.extension \'.gif\'
|
|
|
|
options.html: options-db.xml
|
|
$(XSLTPROC) --nonet --xinclude --output $@ \
|
|
$(docbookxsl)/html/docbook.xsl options-db.xml
|
|
|
|
options-db.xml: options.xml options-to-docbook.xsl
|
|
xsltproc -o options-db.xml options-to-docbook.xsl options.xml
|
|
|
|
options.xml: ../../system/options.nix
|
|
echo 'import ../../system/options.nix {pkgs = import ../../pkgs/top-level/all-packages.nix {};}' | \
|
|
nix-instantiate --eval-only --xml --strict - > options.xml || (rm options.xml && false)
|