diff options
| author | Simon Josefsson <simon@josefsson.org> | 2008-09-23 15:34:55 +0200 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2008-09-23 15:34:55 +0200 |
| commit | 4adda487f300e055aa90253b4d3a8e43fa547a43 (patch) | |
| tree | cbfe8c8b228ff7325129cfadf74af704b78996d8 | |
| parent | be4dcbb73ea7436649b75279e449fd1e2d4fa437 (diff) | |
| download | gnutls-4adda487f300e055aa90253b4d3a8e43fa547a43.tar.gz | |
Use a stylesheet for texinfo HTML manual.
| -rw-r--r-- | cfg.mk | 3 | ||||
| -rw-r--r-- | doc/Makefile.am | 5 | ||||
| -rw-r--r-- | doc/texinfo.css | 44 |
3 files changed, 49 insertions, 3 deletions
@@ -76,7 +76,8 @@ upload: cp $(distdir).tar.bz2 $(distdir).tar.bz2.sig ../releases/$(PACKAGE)/ web: - cd doc && ../build-aux/gendocs.sh -o ../$(htmldir)/manual/ $(PACKAGE) $(PACKAGE_NAME) + cd doc && ../build-aux/gendocs.sh --html "--css-include=texinfo.css" \ + -o ../$(htmldir)/manual/ $(PACKAGE) $(PACKAGE_NAME) cd doc/doxygen && doxygen && cd ../.. && cp -v doc/doxygen/html/* $(htmldir)/doxygen/ && cd doc/doxygen/latex && make refman.pdf && cd ../../../ && cp doc/doxygen/latex/refman.pdf $(htmldir)/doxygen/$(PACKAGE).pdf cp -v doc/reference/html/*.html doc/reference/html/*.png doc/reference/html/*.devhelp doc/reference/html/*.css $(htmldir)/reference/ diff --git a/doc/Makefile.am b/doc/Makefile.am index 29789c0f47..5c093c846b 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,7 +21,8 @@ EXTRA_DIST = TODO README.GIT README.autoconf certtool.cfg gnutls.ps \ gnutls.pdf gnutls.html extract-guile-c-doc.scm \ - doxygen/Doxyfile.in doxygen/Doxyfile.orig + doxygen/Doxyfile.in doxygen/Doxyfile.orig texinfo.css + SUBDIRS = examples scripts manpages credentials if ENABLE_GTK_DOC SUBDIRS += reference @@ -88,7 +89,7 @@ images_DATA = gnutls-certificate-user-use-case.png \ AM_MAKEINFOFLAGS = -I $(top_srcdir)/doc TEXI2DVI = texi2dvi $(AM_MAKEINFOFLAGS) AM_MAKEINFOHTMLFLAGS = $(AM_MAKEINFOFLAGS) \ - --no-split + --no-split --css-include=texinfo.css ../lib/gnutls-api.texi: cd ../lib && make gnutls-api.texi diff --git a/doc/texinfo.css b/doc/texinfo.css new file mode 100644 index 0000000000..78fe1744d2 --- /dev/null +++ b/doc/texinfo.css @@ -0,0 +1,44 @@ +body { + margin: 2%; + padding: 0 5%; + background: #f2f2f9; +} +h1,h2,h3,h4,h5 { + font-weight: bold; + padding: 5px 5px 5px 5px; + background-color: #c2e0ff; + color: #336699; +} +h1 { + padding: 2em 2em 2em 5%; + color: white; + background: #336699; + text-align: center; + letter-spacing: 3px; +} +h2 { text-decoration: underline; } +pre { + margin: 0 5%; + padding: 0.5em; +} +pre.example { + border: solid 1px; + background: #eeeeff; + padding-bottom: 1em; +} +pre.verbatim { + border: solid 1px gray; + background: white; + padding-bottom: 1em; +} +div.node { + margin: 0 -5% 0 -2%; + padding: 0.5em 0.5em; + margin-top: 0.5em; + margin-bottom: 0.5em; + font-weight: bold; +} +dd, li { + padding-top: 0.1em; + padding-bottom: 0.1em; +} |