diff options
| author | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:56:48 +0200 |
|---|---|---|
| committer | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:57:07 +0200 |
| commit | 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 (patch) | |
| tree | d0c2e4d934cc34ba7d4232f759923b5a257dcb21 /buildscripts/jGrouseDoc/themes/sample/build.xml | |
| parent | b833247ce597ec26159b46c8dfbea7f1e265950b (diff) | |
Merge up to r3319
Diffstat (limited to 'buildscripts/jGrouseDoc/themes/sample/build.xml')
| -rw-r--r-- | buildscripts/jGrouseDoc/themes/sample/build.xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/buildscripts/jGrouseDoc/themes/sample/build.xml b/buildscripts/jGrouseDoc/themes/sample/build.xml deleted file mode 100644 index 9e029fe5..00000000 --- a/buildscripts/jGrouseDoc/themes/sample/build.xml +++ /dev/null @@ -1,14 +0,0 @@ -<?xml version="1.0"?>
-
-<project name="sample theme" default="applyJGrouseDoc">
-
- <target name="applyJGrouseDoc">
- <echo>Applying sample theme</echo>
- <copy todir="${outputDir}" overwrite="yes">
- <fileset dir="${jGrouseHome}/themes/sample/css" includes="*.css"></fileset>
- </copy>
- <copy todir="${outputDir}" overwrite="yes">
- <fileset dir="${jGrouseHome}/themes/sample/img" includes="*"></fileset>
- </copy>
- </target>
-</project>
|