security-and-privacy/gnupg
security-and-privacy/gnupg
1
0
Fork 0
mirror of git://git.gnupg.org/gnupg.git synced 2024-12-22 10:19:57 +01:00
Code Activity

Beautified the online html manual

Browse Source
This commit is contained in:
Werner Koch 2011-08-12 14:40:47 +02:00
parent 816bee1fa0
commit 4379c01a24
5 changed files with 32 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/ChangeLog
View File

@ -1,3 +1,9 @@
2011-08-12 Werner Koch <wk@g10code.com>
* texi.css: Override some elements.
* gnupg-log-tr.png: New.
* gnupg.texi: Use transparent logo.
2011-03-01 Werner Koch <wk@g10code.com>
* gpgsm.texi (CSR and certificate creation): New.

4
doc/Makefile.am
View File

@ -29,7 +29,7 @@ helpfiles = help.txt help.be.txt help.ca.txt help.cs.txt \
help.sv.txt help.tr.txt help.zh_CN.txt help.zh_TW.txt
EXTRA_DIST = samplekeys.asc \
gnupg-logo.eps gnupg-logo.pdf gnupg-logo.png \
gnupg-logo.eps gnupg-logo.pdf gnupg-logo.png gnupg-logo-tr.png\
gnupg-card-architecture.eps gnupg-card-architecture.png \
gnupg-card-architecture.pdf \
FAQ gnupg7.texi \
@ -129,7 +129,7 @@ gnupg.texi : $(gnupg_TEXINFOS)
online: gnupg.html gnupg.pdf
set -e; \
echo "Uploading current manuals to www.gnupg.org ..."; \
cp $(srcdir)/gnupg-logo.png gnupg.html/; \
cp $(srcdir)/gnupg-logo-tr.png gnupg.html/; \
user=werner ; dashdevel="" ; \
if echo "@PACKAGE_VERSION@" | grep -- "-git" >/dev/null; then \
dashdevel="-devel" ; \

BIN
doc/gnupg-logo-tr.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 9.2 KiB

2
doc/gnupg.texi
View File

@ -110,7 +110,7 @@ section entitled ``Copying''.
@end ifnothtml
@ifhtml
@center @image{gnupg-logo,6cm,,The GnuPG Logo}
@center @image{gnupg-logo-tr,6cm,,The GnuPG Logo}
@end ifhtml
@ifnottex

17
doc/texi.css
View File

@ -1,6 +1,23 @@
/* The gnupg.org standard stylesheet. */
@import url(/share/site.css);
/* The gnupg site sets body margins to zero. Because we don't have
the table layout here we have to set our own margins for the body. */
body {
margin-left: 1em;
margin-right: 1em;
}
/* Make the top header larger. */
h1 {
text-align: center;
font-size: 200%;
}
h1:first-letter {
font-size: 120%;
}