htdocs: Rename geshi(.min).css to demo(.min).css

This commit is contained in:
Tim Gerundt 2012-09-29 14:45:04 +02:00
parent 4df326051d
commit 0d9640eb10
6 changed files with 4 additions and 4 deletions

View File

@ -5,7 +5,7 @@
<title>Online Demo - Cppcheck</title>
<link rel="stylesheet" type="text/css" href="//fonts.googleapis.com/css?family=Orbitron&amp;text=Cppcheck" />
<link rel="stylesheet" type="text/css" href="/site/css/all.min.css" />
<link rel="stylesheet" type="text/css" href="/site/css/geshi.min.css" />
<link rel="stylesheet" type="text/css" href="/site/css/demo.min.css" />
<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico" />
<script type="text/javascript">
function checkCodeLength() {

View File

@ -64,7 +64,7 @@
<title>Online Demo Report - Cppcheck</title>
<link rel="stylesheet" type="text/css" href="//fonts.googleapis.com/css?family=Orbitron&amp;text=Cppcheck" />
<link rel="stylesheet" type="text/css" href="/site/css/all.min.css" />
<link rel="stylesheet" type="text/css" href="/site/css/geshi.min.css" />
<link rel="stylesheet" type="text/css" href="/site/css/demo.min.css" />
<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico" />
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js" type="text/javascript"></script>
<script src="/site/js/picnet.table.filter.min.pack.js" type="text/javascript"></script>

View File

@ -1,6 +1,6 @@
#!/bin/bash
cleancss -o css/all.min.css css/all.css
cleancss -o css/geshi.min.css css/geshi.css
cleancss -o css/demo.min.css css/demo.css
uglifyjs -o js/github.min.js js/github.js
uglifyjs -o js/picnet.table.filter.min.pack.js js/picnet.table.filter.min.js

View File

@ -1,5 +1,5 @@
@echo off
cleancss -o css/all.min.css css/all.css && ^
cleancss -o css/geshi.min.css css/geshi.css && ^
cleancss -o css/demo.min.css css/demo.css && ^
uglifyjs -o js/github.min.js js/github.js && ^
uglifyjs -o js/picnet.table.filter.min.pack.js js/picnet.table.filter.min.js