diff options
| -rw-r--r-- | doc/.gitignore | 1 | ||||
| -rw-r--r-- | doc/Makefile.am | 8 |
2 files changed, 3 insertions, 6 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 12fe512..2830624 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -3,4 +3,3 @@ *.ps *.pdf *.txt -*.css diff --git a/doc/Makefile.am b/doc/Makefile.am index 30d2b16..19ad939 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -37,11 +37,9 @@ doc_DATA += $(doc_sources:.xml=.txt) endif if HAVE_STYLESHEETS -XMLTO_FLAGS = -m $(XSL_STYLESHEET) - -doc_DATA += xorg.css -xorg.css: $(STYLESHEET_SRCDIR)/xorg.css - $(AM_V_GEN)cp -pf $(STYLESHEET_SRCDIR)/xorg.css $@ +XMLTO_FLAGS = \ + -m $(XSL_STYLESHEET) \ + --stringparam html.stylesheet="$(STYLESHEET_SRCDIR)/xorg.css" endif CLEANFILES = $(doc_DATA) |