From 9395c7b4a2079349fdb881a1f537af5b73eacfd2 Mon Sep 17 00:00:00 2001 From: Lars Thorsen Date: Mon, 25 Sep 2017 15:15:37 +0200 Subject: Remove unused files from the documentation build --- lib/debugger/doc/src/fascicules.xml | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 lib/debugger/doc/src/fascicules.xml (limited to 'lib/debugger/doc/src/fascicules.xml') diff --git a/lib/debugger/doc/src/fascicules.xml b/lib/debugger/doc/src/fascicules.xml deleted file mode 100644 index 154c8a3b6d..0000000000 --- a/lib/debugger/doc/src/fascicules.xml +++ /dev/null @@ -1,15 +0,0 @@ - - - - - - User's Guide - - - Reference Manual - - - Release Notes - - - -- cgit v1.2.3