From 8be4e4787bb3992e6a84a83250b69fd8d1efbc36 Mon Sep 17 00:00:00 2001 From: Nicolas Setton Date: Mon, 7 Jan 2019 14:16:39 -0500 Subject: [PATCH] Improve the project to find the learn content. Part of improving the development environment. --- langserv.gpr | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/langserv.gpr b/langserv.gpr index db05ff5..0db5f65 100644 --- a/langserv.gpr +++ b/langserv.gpr @@ -1,12 +1,13 @@ project langserv is - for Languages use ("Python", "Text", "HTML", "javascript", "css"); + for Languages use ("Python", "Text", "HTML", "javascript", "css", "ReST"); package Naming is for Implementation_Suffix ("Text") use ".txt"; - for Implementation_Suffix ("HTML") use ".txt"; + for Implementation_Suffix ("HTML") use ".html"; for Implementation_Suffix ("javascript") use ".js"; for Implementation_Suffix ("css") use ".css"; + for Implementation_Suffix ("ReST") use ".rst"; end Naming; for Source_Dirs use (-- The django base @@ -26,7 +27,15 @@ project langserv is "compile_server/app/static/", -- The HTML templates - "compile_server/app/templates/**" + "compile_server/app/templates/**", + + -- The learn engine + "../learn/engine/sphinx", + + -- The courses, books, labs + "../learn/courses/**", + "../learn/books/**", + "../learn/labs/**" );