From 762cd8d601b7db06aa289c0fca7b40696299a868 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?= =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= Date: Fri, 8 Nov 2019 23:00:04 +0000 Subject: [PATCH] google analytics on website, not local --- build-doc | 5 +++++ docinfo-footer.html | 9 +++++++++ 2 files changed, 14 insertions(+) create mode 100644 docinfo-footer.html diff --git a/build-doc b/build-doc index 5eab018..528921a 100755 --- a/build-doc +++ b/build-doc @@ -28,8 +28,10 @@ from the README to example sources to GitHub rather than locally. def timed_main(self): asciidoctor_dir = os.path.join(self.env['root_dir'], 'asciidoctor') + github_pages_opts = [] if self.env['github_pages']: link_target_script = 'link-target-github.rb' + github_pages_opts.extend(['--attribute', 'docinfo=shared', LF]) else: link_target_script = 'link-target-up.rb' exit_status = self.sh.run_cmd( @@ -40,6 +42,9 @@ from the README to example sources to GitHub rather than locally. '--out-file', self.env['readme_out'], LF, '--trace', LF, '--verbose', LF, + ] + + github_pages_opts + + [ self.env['readme'], LF, ], out_file=self.env['build_doc_log'], diff --git a/docinfo-footer.html b/docinfo-footer.html new file mode 100644 index 0000000..4503a77 --- /dev/null +++ b/docinfo-footer.html @@ -0,0 +1,9 @@ +