projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d51f704) | patch
Doc: render π more nicely in PDF output.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 27 Apr 2020 15:00:28 +0000 (11:00 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 27 Apr 2020 15:00:28 +0000 (11:00 -0400)
commit5ac24755485a5c1cc1cef084f08706246ee4f66c
tree13638e411abdea3c8935bff2650986025bde7cdatree
parentd51f704fd8cbae03cd9b29fe103dd027d521ff04commit | diff
Doc: render &pi; more nicely in PDF output.

We need to select symbol font explicitly, or it comes out misaligned.

Alexander Lakhin, Tom Lane

Discussion: https://postgr.es/m/10598.1587928415@sss.pgh.pa.us
doc/src/sgml/func.sgml diff | blob | blame | history
doc/src/sgml/ref/pgbench.sgml diff | blob | blame | history
doc/src/sgml/stylesheet-fo.xsl diff | blob | blame | history
This is the main PostgreSQL git repository.