diff options
author | H. Peter Anvin <hpa@zytor.com> | 2017-04-16 23:52:23 -0700 |
---|---|---|
committer | H. Peter Anvin <hpa@zytor.com> | 2017-04-16 23:52:23 -0700 |
commit | d31a74e301ee6a09b29b610a83ff2c1580b9f998 (patch) | |
tree | 7c021a9e0416377f13d74b3297c4474d20f2d1a7 | |
parent | 74fa0a736ab769dd07ebe3c98b7e94543b558134 (diff) | |
download | nasm-d31a74e301ee6a09b29b610a83ff2c1580b9f998.tar.gz |
doc: add a local.css specifically to be overridden locally
Add a file local.css which is referenced *after* nasmdoc.css, thus
overriding the latter. This file intentionally has no actual content,
which means it can be overridden locally for any desired content,
e.g. indexing into web fonts or overriding any of the style.
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
-rw-r--r-- | doc/Makefile.in | 15 | ||||
-rw-r--r-- | doc/local.css | 1 | ||||
-rw-r--r-- | doc/rdsrc.pl | 1 |
3 files changed, 9 insertions, 8 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index c43f029c..4f957da7 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -24,6 +24,10 @@ PDFOPT = @PDFOPT@ RM_F = rm -f RM_RF = rm -rf CP_F = cp -f +CP_UF = cp -ufv + +# Auxiliary files referenced by the HTML files +HTMLAUX = nasmdoc.css local.css nasmlogw.png SRCS = nasmdoc.src inslist.src changes.src version.src OUT = html nasmdoc.txt nasmdoc.pdf @@ -36,9 +40,10 @@ inslist.src: inslist.pl ../x86/insns.dat $(PERL) $(srcdir)/inslist.pl $(srcdir)/../x86/insns.dat .PHONY: html -html: $(SRCS) rdsrc.pl nasmdoc.css nasmlogw.png +html: $(HTMLAUX) mkdir -p html - $(MAKE) html/nasmdoc0.html html/nasmdoc.css html/nasmlogw.png + for f in $(HTMLAUX); do $(CP_UF) "$(srcdir)/$$f" html/; done + $(MAKE) html/nasmdoc0.html RDSRC = $(PERL) $(srcdir)/rdsrc.pl -I$(srcdir)/ @@ -46,12 +51,6 @@ html/nasmdoc0.html: $(SRCS) rdsrc.pl $(RM_F) html/*.html $(RDSRC) -ohtml html nasmdoc.src -html/nasmdoc.css: nasmdoc.css - $(CP_F) $(srcdir)/nasmdoc.css html/nasmdoc.css - -html/nasmlogw.png: nasmlogw.png - $(CP_F) $(srcdir)/nasmlogw.png html/nasmlogw.png - nasmdoc.dip: $(SRCS) rdsrc.pl $(RDSRC) dip nasmdoc.src diff --git a/doc/local.css b/doc/local.css new file mode 100644 index 00000000..dfee5220 --- /dev/null +++ b/doc/local.css @@ -0,0 +1 @@ +/* Add site-local nasmdoc style configuration to this file */ diff --git a/doc/rdsrc.pl b/doc/rdsrc.pl index b31d9b7e..78e53951 100644 --- a/doc/rdsrc.pl +++ b/doc/rdsrc.pl @@ -949,6 +949,7 @@ sub html_preamble { print "<head>\n"; print "<title>", $metadata{'title'}, "</title>\n"; print "<link href=\"nasmdoc.css\" rel=\"stylesheet\" type=\"text/css\" />\n"; + print "<link href=\"local.css\" rel=\"stylesheet\" type=\"text/css\" />\n"; print "</head>\n"; print "<body>\n"; |