diff options
| author | William Salmon <will.salmon@codethink.co.uk> | 2018-11-21 13:50:28 +0000 |
|---|---|---|
| committer | William Salmon <will.salmon@codethink.co.uk> | 2018-11-28 10:08:18 +0000 |
| commit | 82a59035cde868e860d4a749506e43949fdbdc79 (patch) | |
| tree | cac75452595a2cea985e96e4d889c6c736d8f4e6 /doc/Makefile | |
| parent | 2a8a3b19966a25eff30391e9f50dbe9610d20c33 (diff) | |
| download | buildstream-82a59035cde868e860d4a749506e43949fdbdc79.tar.gz | |
Keep the Bst2html output up to date.
This patch allows bst2html to run when the rest of the docs are rebuilt
and remove the old stale cached files.
This patch also makes it easier to maintain the .run files by having
bst2html have a less aggressive caching policy that is now based on
mtimes mtimes.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 33 |
1 files changed, 21 insertions, 12 deletions
diff --git a/doc/Makefile b/doc/Makefile index f52b869ef..439c35358 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,3 +1,24 @@ +# +# Copyright (C) 2018 Codethink Limited +# Copyright (C) 2018 Bloomberg Finance LP +# +# This program is free software; you can redistribute it and/or +# modify it under the terms of the GNU Lesser General Public +# License as published by the Free Software Foundation; either +# version 2 of the License, or (at your option) any later version. +# +# This library is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +# Lesser General Public License for more details. +# +# You should have received a copy of the GNU Lesser General Public +# License along with this library. If not, see <http://www.gnu.org/licenses/>. +# +# Authors: +# Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> +# William Salmon <will.salmon@codethink.co.uk> + # Makefile for Sphinx documentation # @@ -94,18 +115,6 @@ templates-clean: # Session captures # ############################################################ -# Stage the stored sessions into the place where they will -# be used in the build. -# -# This is separated so that the git tree does not become -# dirty as a result of a documentation build process - which -# messes up the docs version number and the version number -# printed in some command line output. -# -sessions-prep: - mkdir -p source/sessions - cp source/sessions-stored/*.html source/sessions - # By default, this will generate the html fragments of colorized BuildStream terminal # output only if they don't yet exist. # |