[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to skip default css format lines in html output
From: |
Per Bothner |
Subject: |
Re: how to skip default css format lines in html output |
Date: |
Tue, 4 May 2021 11:15:35 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
[I missed your reply. Sorry for the delay.]
On 5/2/21 2:49 AM, Gavin Smith wrote:
Could you test the following and see if it works okay for using NO_CSS
with --css-ref?
Doesn't seem to work. Specifically I tried:
makeinfo -I=doc --html --split=section --no-number-sections -c INFO_JS_DIR=style -c JS_WEBLABELS=omit -c
EXTRA_HEAD='<script src="style/kawa-txinfo.js"
type="text/javascript"></script>' --css-ref=style/kawa.css -c NO_CSS=1 ./kawa.texi -o ./web/
While the builtin lines are skipped, the --css-ref seems to have also been
ignored.
Furthermore, using NO_CSS seems to conflict with currently-documented meaning:
"Do not use CSS".
--
--Per Bothner
per@bothner.com http://per.bothner.com/