summaryrefslogtreecommitdiffstats
path: root/doc/build_doc.sh
diff options
context:
space:
mode:
authorJohann Latocha2011-03-02 02:08:42 +0100
committerJohann Latocha2011-03-02 02:08:42 +0100
commit3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796 (patch)
tree99fdd6aa4c0073e747902486e703e1d738da8369 /doc/build_doc.sh
parentfix cmake paths (diff)
downloadpvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.gz
pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.xz
pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.zip
Win32 clean out
Diffstat (limited to 'doc/build_doc.sh')
-rwxr-xr-xdoc/build_doc.sh2
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/build_doc.sh b/doc/build_doc.sh
deleted file mode 100755
index c25df82..0000000
--- a/doc/build_doc.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-doxygen doxconf