summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile.in15
-rw-r--r--doc/local.css1
-rw-r--r--doc/rdsrc.pl1
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";