source-highlight: cleaned up a bit

This commit is contained in:
Bartlomiej Palmowski 2008-05-20 10:02:35 +02:00
parent 6f7e15aef8
commit baae8a8d67
2 changed files with 2 additions and 1 deletions

View File

@ -4,7 +4,6 @@ drwxr-xr-x root/root usr/bin/
-rwxr-xr-x root/root usr/bin/cpp2html
-rwxr-xr-x root/root usr/bin/java2html
-rwxr-xr-x root/root usr/bin/source-highlight
-rwxr-xr-x root/root usr/bin/src-hilite-lesspipe.sh
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man1/
-rw-r--r-- root/root usr/man/man1/source-highlight.1.gz
@ -80,6 +79,7 @@ drwxr-xr-x root/root usr/share/source-highlight/
-rw-r--r-- root/root usr/share/source-highlight/sml.lang
-rw-r--r-- root/root usr/share/source-highlight/spec.lang
-rw-r--r-- root/root usr/share/source-highlight/sql.lang
-rwxr-xr-x root/root usr/share/source-highlight/src-hilite-lesspipe.sh
-rw-r--r-- root/root usr/share/source-highlight/style.defaults
-rw-r--r-- root/root usr/share/source-highlight/style.lang
-rw-r--r-- root/root usr/share/source-highlight/style2.style

View File

@ -15,4 +15,5 @@ build() {
make
make DESTDIR=$PKG install
rm -rf $PKG/usr/share/{doc,info}
mv $PKG/usr/bin/src-hilite-lesspipe.sh $PKG/usr/share/source-highlight/
}