From a5db8629923dd434f3829f1a616764aa4170d67f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 8 Jun 2015 14:08:13 +0200
Subject: [PATCH] add script to push docs (will be tested soon)

---
 push-docs     | 9 +++++++++
 src/main.rs   | 1 +
 src/part01.rs | 6 ++++--
 3 files changed, 14 insertions(+), 2 deletions(-)
 create mode 100644 push-docs

diff --git a/push-docs b/push-docs
new file mode 100644
index 0000000..7a6dc60
--- /dev/null
+++ b/push-docs
@@ -0,0 +1,9 @@
+#!/bin/bash
+set -e
+
+cd "$(dirname "$0"))"
+./pycco-rs src/*.rs
+cd docs
+git add .
+git commit -m "semi-auto-update of the documentation"
+git push
diff --git a/src/main.rs b/src/main.rs
index e4108d4..7bf7dbe 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,3 +1,4 @@
+#![allow(dead_code)]
 // Welcome to Rust-101
 // ===================
 //
diff --git a/src/part01.rs b/src/part01.rs
index 2e350bc..c4c21c5 100644
--- a/src/part01.rs
+++ b/src/part01.rs
@@ -3,8 +3,10 @@
 // Rust-101, Part 00
 // =================
 
-
+pub fn read_vec() -> Vec<i32> {
+    vec![0,1,2,3,4]
+}
 
 pub fn part_main() {
     
-}
\ No newline at end of file
+}
-- 
2.30.2