diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 04:13:57 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 04:13:57 -0700 |
| commit | 70f4e9b60d4726d8c42560ec5cf209eb3a33f826 (patch) | |
| tree | ac59eb9f8353e01043cff8998250f1defd9abf14 /update_html | |
| parent | beea7ce25cfe42c363259705a6b5741ad47484ab (diff) | |
| download | mu-70f4e9b60d4726d8c42560ec5cf209eb3a33f826.tar.gz | |
3544
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_html b/update_html index 88b86e1a..b33ca08d 100755 --- a/update_html +++ b/update_html @@ -16,7 +16,7 @@ process() { sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' $1.html sed -i 's/^\.Delimiter .*/.Delimiter { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast sed -i 's/^\.PreProc .*/.PreProc { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast - sed -i 's/^\.Identifier .*/.Identifier { color: #ecf32c; }/' $1.html + sed -i 's/^\.Identifier .*/.Identifier { color: #c0a020; }/' $1.html # same as muControl sed -i 's/^\.Special .*/.Special { color: #c00000; }/' $1.html # same as traceAbsent.. mv -i $1.html html/`dirname $1` |