Index: uspace/srv/pci/update-ids
===================================================================
--- uspace/srv/pci/update-ids	(revision 64b67c39501d9b1e2ce7abca50c6d56eef787040)
+++ uspace/srv/pci/update-ids	(revision afb1e35bc801349b8b29725021823bbc5542f798)
@@ -3,14 +3,13 @@
 wget http://pciids.sourceforge.net/v2.2/pci.ids
 
-cat >pci_ids.h <<EOF
+cat > pci_ids.h <<EOF
 /* DO NOT EDIT, THIS FILE IS AUTOMATICALLY GENERATED */
 char *pci_ids[] = {
 EOF
 
-cat pci.ids | grep -v '^#.*' | grep -v '^$' | tr \" \' | sed -n 's/\(.*\)/"\1",/p' >>pci_ids.h
+cat pci.ids | grep -v '^#.*' | grep -v '^$' | tr \" \' | sed -n 's/\(.*\)/"\1",/p' >> pci_ids.h
 
-cat >>pci_ids.h <<EOF
+cat >> pci_ids.h <<EOF
 ""
 };
 EOF
-