Peter Simons
|
ae5a180410
|
doc: avoid using fancy document classes
The LaTeX "report" style is good enough for us, especially since we ship only
HTML anyway.
|
2019-07-10 17:03:02 +02:00 |
|
Peter Simons
|
9e91dbd4aa
|
Switch homepage URL to Github.
|
2019-07-10 14:58:41 +02:00 |
|
Peter Simons
|
184701aa8b
|
doc: fix obsolete font commands
|
2016-09-10 18:18:37 +02:00 |
|
Peter Simons
|
4cd5d72876
|
petidomo.tex: cosmetic
|
2013-02-09 20:19:19 +01:00 |
|
Peter Simons
|
1d2616d1e9
|
doc/petidomo.tex: fixed trivial typos
|
2010-02-24 17:34:13 +01:00 |
|
Peter Simons
|
a11f628d97
|
Converted build to gnulib.
|
2010-02-24 17:33:58 +01:00 |
|