diff options
| -rw-r--r-- | etc/ChangeLog | 4 | ||||
| -rw-r--r-- | etc/compilation.txt | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index 823f82b57c5..676e09a73f9 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2006-07-08 Thien-Thi Nguyen <ttn@gnu.org> | ||
| 2 | |||
| 3 | * compilation.txt: Add an example "Compilation started ..." line. | ||
| 4 | |||
| 1 | 2006-07-07 Carsten Dominik <dominik@science.uva.nl> | 5 | 2006-07-07 Carsten Dominik <dominik@science.uva.nl> |
| 2 | 6 | ||
| 3 | * orgcard.tex: Version number change. | 7 | * orgcard.tex: Version number change. |
diff --git a/etc/compilation.txt b/etc/compilation.txt index 2e784000149..abf8ecdf9c3 100644 --- a/etc/compilation.txt +++ b/etc/compilation.txt | |||
| @@ -5,6 +5,9 @@ how they are rendered. It is intended both to help you decide which matchers | |||
| 5 | you need and as a test of the matchers. Move the mouse over a colored part or | 5 | you need and as a test of the matchers. Move the mouse over a colored part or |
| 6 | use `compilation-message-face', to see how much text was actually matched. | 6 | use `compilation-message-face', to see how much text was actually matched. |
| 7 | 7 | ||
| 8 | Note that the following example line should NOT be highlighted: | ||
| 9 | Compilation started at Sat Jul 8 15:19:25 | ||
| 10 | |||
| 8 | The important part is the symbol(s) line at the beginning of each entry. | 11 | The important part is the symbol(s) line at the beginning of each entry. |
| 9 | These are the symbols you can customize `compilation-error-regexp-alist' for, | 12 | These are the symbols you can customize `compilation-error-regexp-alist' for, |
| 10 | to match the messages shown in that entry. A few complex cases have more than | 13 | to match the messages shown in that entry. A few complex cases have more than |