G. Branden Robinson
4eeab8824d
doc/Guidebook.txt: Update table annotations
...
Explain behavior of GNU tbl when setting boxed tables on terminals.
Drop reference to bug fixed in groff 1.23.0
<https://savannah.gnu.org/bugs/?49390 >.
There's not much to say about other tbls except that they handle boxed
tables _terribly_ on terminals.
$ cat ./hello-table.roff
.TS
box;
L.
hello
.TE
$ ./bin/tbl ./hello-table.roff|./bin/nroff|cat -s # Heirloom Doctools
_______
hello
_______
|
| |
DWB tbl behaves the same way. I expect all System V Unix-descended
tbls/nroffs do the same.
2023-11-06 14:44:54 -06:00
..
2023-09-06 12:39:17 -04:00
2022-06-18 10:29:15 -04:00
2023-02-27 10:18:14 -05:00
2023-08-28 16:17:41 -04:00
2022-02-10 16:45:03 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2023-02-16 23:43:37 -08:00
2023-11-05 17:16:02 -08:00
2022-01-29 16:28:06 -05:00
2020-02-14 18:15:25 -08:00
2023-11-06 14:43:50 -06:00
2023-11-06 14:44:54 -06:00
2023-11-06 00:46:18 -08:00
2023-11-06 07:31:47 -05:00
2023-10-29 12:35:32 +02:00
2023-09-06 12:27:13 -04:00
2022-02-22 20:14:44 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2023-08-03 21:51:25 -04:00
2022-12-08 10:46:36 -05:00
2022-01-29 16:28:06 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2023-08-28 16:17:41 -04:00
2018-09-20 18:02:48 -04:00
2023-02-09 20:07:18 -05:00
2023-08-07 15:00:56 -04:00