Am 07.07.2011 09:50, schrieb Andrej Znidarsic:
> Hello!
>
> I was wondering if it's possible to convert gnome documentation from
> .page files to html. We would like to use gnome documentation as a sort
> of FAQ on local user group website, since it adresses most common issues
> in clear manner.
>
Quite simple. Put the attached Makefile into the folder where the *.page
files reside, and run "make".
Anyway, you have almost all manuals in the GNOME Documentation Library
[1]. Why do you need to convert them manually? Just link to the
library's website.
[1] http://library.gnome.org/
Cheers,
Mario
pages=$(wildcard *.page)
htmls=$(patsubst %.page,%.html,$(pages))
all: $(htmls) index.cache
index.cache : $(pages)
echo '<cache xmlns="http://projectmallard.org/1.0/";>' > [email protected]
for page in $(pages); do \
echo "<page href='$$page'/>" >> [email protected]; \
done
echo '</cache>' >> [email protected]
xsltproc `pkg-config --variable xsltdir
gnome-doc-utils`/mallard/utils/mal2cache.xsl [email protected] | xmllint --format - > $@
rm [email protected]
$(htmls) : index.cache
$(htmls) : %.html : %.page
xsltproc \
--stringparam mal.cache.file `pwd`/index.cache \
--param mal.chunk.chunk_top 1 \
`pkg-config --variable mal2html gnome-doc-utils` $<
.PHONY: clean
clean:
rm index.cache *.html
_______________________________________________
gnome-doc-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-doc-list
