From 9395c7b4a2079349fdb881a1f537af5b73eacfd2 Mon Sep 17 00:00:00 2001
From: Lars Thorsen <lars@erlang.org>
Date: Mon, 25 Sep 2017 15:15:37 +0200
Subject: Remove unused files from the documentation build

---
 erts/doc/src/fascicules.xml | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 erts/doc/src/fascicules.xml

(limited to 'erts/doc/src/fascicules.xml')

diff --git a/erts/doc/src/fascicules.xml b/erts/doc/src/fascicules.xml
deleted file mode 100644
index 1c371bd9c8..0000000000
--- a/erts/doc/src/fascicules.xml
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml version="1.0" encoding="utf-8" ?>
-<!DOCTYPE fascicules SYSTEM "fascicules.dtd">
-
-<fascicules>
-  <fascicule file="part" href="part_frame.html" entry="no">
-    ERTS User's Guide
-  </fascicule>
-  <fascicule file="ref_man" href="ref_man_frame.html" entry="yes">
-    ERTS Reference Manual
-  </fascicule>
-  <fascicule file="part_notes" href="part_notes_frame.html" entry="no">
-    Release Notes
-  </fascicule>
-  <fascicule file="" href="../../../doc/print.html" entry="no">
-    Off-Print
-  </fascicule>
-</fascicules>
-
-- 
cgit v1.2.3