mirror of
https://github.com/php/doc-gtk.git
synced 2026-03-24 00:52:17 +01:00
15 lines
290 B
Bash
15 lines
290 B
Bash
#!/bin/sh
|
|
# cleans up a bit
|
|
# Note: doesn't clean up the reference (which would be silly)
|
|
|
|
cd "`dirname "$0"`"
|
|
|
|
if [ ! -d ../manual ]; then
|
|
echo "Please go to the scripts directory before running this script"
|
|
echo "Usage: cleanup.sh"
|
|
exit 1
|
|
fi
|
|
|
|
rm ../manual/*/chapters.ent
|
|
rm manual.xml
|