From 80d8b02f30b070aeed5a267e2d7c44517635f716 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Mon, 2 Mar 2020 13:53:48 +0800
Subject: [PATCH] license tagging for manual

provide license info for Doxyfile, README, export.bst
---
 manual/Doxyfile   |  2 ++
 manual/README     | 10 +---------
 manual/export.bst |  2 ++
 3 files changed, 5 insertions(+), 9 deletions(-)

diff --git a/manual/Doxyfile b/manual/Doxyfile
index f2f6469e7..12bc015c6 100644
--- a/manual/Doxyfile
+++ b/manual/Doxyfile
@@ -1,3 +1,5 @@
+# @TAG(DATA61_BSD)
+
 # Doxyfile 1.8.11
 
 # This file describes the settings to be used by the documentation system
diff --git a/manual/README b/manual/README
index 9757859e7..6841b3a74 100644
--- a/manual/README
+++ b/manual/README
@@ -1,12 +1,4 @@
-#
-# Copyright 2014, General Dynamics C4 Systems
-#
-# This software may be distributed and modified according to the terms of
-# the GNU General Public License version 2. Note that NO WARRANTY is provided.
-# See "LICENSE_GPLv2.txt" for details.
-#
-# @TAG(GD_GPL)
-#
+<-- @TAG(GD_GPL) -->
 
 seL4 manual (including API). Default make target builds a PDF.
 
diff --git a/manual/export.bst b/manual/export.bst
index 91efe1eb6..d35952ed6 100644
--- a/manual/export.bst
+++ b/manual/export.bst
@@ -1,3 +1,5 @@
+% @TAG(OTHER_LPPL)
+
 %%
 %% This is file `export.bst',
 %% generated with the docstrip utility.