diff options
| author | zuntum <zuntum@pkgsrc.org> | 2001-11-01 00:57:41 +0000 |
|---|---|---|
| committer | zuntum <zuntum@pkgsrc.org> | 2001-11-01 00:57:41 +0000 |
| commit | c72c1cf5f95cbe537b005028f1743cddb16ef203 (patch) | |
| tree | 93b6296152ccfbaa88b43de043b2d69ce6e63fc5 /devel/maketool/DESCR | |
| parent | 37637e483f1bf6574e9306aebbd013bb63d888d6 (diff) | |
| download | pkgsrc-c72c1cf5f95cbe537b005028f1743cddb16ef203.tar.gz | |
Move pkg/ files into package's toplevel directory
Diffstat (limited to 'devel/maketool/DESCR')
| -rw-r--r-- | devel/maketool/DESCR | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devel/maketool/DESCR b/devel/maketool/DESCR new file mode 100644 index 00000000000..2fbca8039e4 --- /dev/null +++ b/devel/maketool/DESCR @@ -0,0 +1,4 @@ +Maketool is a simple GTK based GUI front end for GNU make. +Figures out what targets are available and presents them in a menu. +Runs make and detects compiler errors in the output, allowing you +to click on the errors to edit the corresponding source. |