equal
deleted
inserted
replaced
21 |
21 |
22 # location of isabelle distribution packages |
22 # location of isabelle distribution packages |
23 ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005 |
23 ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005 |
24 |
24 |
25 # location of doc content file |
25 # location of doc content file |
26 ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/doc/Contents |
26 ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/Isabelle2005/doc/Contents |
27 |
27 |
28 # umask for target files |
28 # umask for target files |
29 TARGET_UMASK_FILE=664 |
29 TARGET_UMASK_FILE=664 |
30 TARGET_UMASK_DIR=775 |
30 TARGET_UMASK_DIR=775 |
31 |
31 |