Bastien Guerry
0c8e87b8d2
Rename UTILITIES/ to utils/
2012-08-23 12:47:10 +02:00
Bastien Guerry
ad812d8cd1
UTILITIES/manfull.pl: mention http://orgmode.org
...
Thanks to Thierry Stoehr for suggesting this.
2012-04-30 18:28:31 +02:00
Bastien Guerry
9d51ba9b13
UTILITIES: Use a separate css for the HTML manuals.
2011-12-13 00:21:16 +01:00
Bastien Guerry
4dfc520711
UTILITIES/man*: Fix bug: don't insert </style>
2011-12-10 13:46:50 +01:00
Carsten Dominik
ab310f9405
Website: Improve reading experience of the manual
...
The manual now used better the org.css file. It also reacts to single
key presses like "n" and "p", and has a top-level table of contents
that is always active and visible.
2009-01-19 12:45:20 +01:00