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.