RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

license tagging for manual

Browse Source 
provide license info for Doxyfile, README, export.bst
This commit is contained in:
Gerwin Klein
2020-03-02 13:53:48 +08:00
parent 8de579e408
commit 80d8b02f30
3 changed files with 5 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
manual/Doxyfile
View File

@@ -1,3 +1,5 @@
# @TAG(DATA61_BSD)
# Doxyfile 1.8.11
# This file describes the settings to be used by the documentation system

10
manual/README
View File

@@ -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.

2
manual/export.bst
View File

@@ -1,3 +1,5 @@
% @TAG(OTHER_LPPL)
%%
%% This is file `export.bst',
%% generated with the docstrip utility.