Skip to content
Snippets Groups Projects
Commit df918bf5 authored by Nick Schermer's avatar Nick Schermer
Browse files

Point gnome-doc-tool to the index.page file for css.

parent 69404031
No related branches found
No related tags found
No related merge requests found
......@@ -77,7 +77,7 @@ doc-build.stamp:
rm -rf "$(srcdir)/html $(srcdir)/.pages"; \
echo; \
echo "Creating CSS file for documentation"; \
$(GNOME_DOC_TOOL) css -o "$(srcdir)/html/$(PACKAGE).css"; \
$(GNOME_DOC_TOOL) css -o "$(srcdir)/html/$(PACKAGE).css" "$(srcdir)/index.page"; \
echo; \
for lang in $(ALL_LINGUAS); do \
echo "Generating $$lang documentation"; \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment